Hola amigos Dada la animada discusión sobre Constructivismo que se dió no hace mucho en esta lista, es posible que algunos de ustedes estén interesados en mi artículo "Intuitionistic Logic according to Dijkstra's Calculus of Equational Deduction" que apareció este mes en el Notre Dame Journal of Formal Logic (ver http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.ndjfl ).
Más que una contribución de la lógica a la ciencia de computación, me parece a mí, que es más bien al contrario. Cordial saludo Jaime A. Bohórquez V. Ingeniería de Sistemas Escuela Colombiana de Ingeniería AK 45 # 205 - 59, Bogotá, Colombia [EMAIL PROTECTED] ##################################################################################### This e-mail message has been scanned for Viruses and Content and cleared by NetIQ MailMarshal ##################################################################################### _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
