Caros colegas, mestres e amigos, Apesar de que já me disseram que há livros que começam o ensino de lógica pela lógica intuicionista, até agora não achei nenhum, mesmo olhando publicações recentes.
Há introduções ao intuicionismo lógico que já pressupõem o leitor ter algum conhecimento em lógica, mas não que primeiro apresentem a lógica intuicionista par depois entrar na clássica. Alguém sabe de uma referência? _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l