Caríssimos, alguém teria uma versão eletrônica do artigo do Martin Loef: ˜Constructive Mathematics and Computer Programming", acho que uma das versões é da revista Logic, Methodology and Philosophy of Science.
Grato pela atenção, Regivan -- ****************************************************************************** Prof. Dr. Regivan Hugo Nunes Santiago Group of Logic, Language, Information, Theory and Applications - LoLITA Department of Informatics and Applied Mathematics - DIMAp Federal University of Rio Grande do Norte - UFRN Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil Phone: +55 84 3215-3814 Ext. 228 Fax: +55 84 3215-3813 http://www.dimap.ufrn.br/~regivan e-mail: regivan AT DOMAIN=dimap,ufrn,br. ******************************************************************************
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
