Carissimos Por acaso alguem teria o txt abaixo em pdf? Abraços Abilio
Negation and separation of concepts in constructive systems, in A. Heyting, editor, Constructivity in Mathematics, Proceedings of the Colloquium held in Amsterdam, NL, 1957, Studies in Logic and the Foundations of Mathematics. Amsterdam: North-Holland, 1959. _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l