Ola Hugo Sim acredito que vamos chegar num resultado interessante. Acho que este trabalho e interessante e divertido fazer tabelinhas e engracado - tabelas de verdades sao um joguinho bastante praticado pelos logicos ...
Numero da artigos publicados no Journal of Symbolic Logic por Kurt Gödel 0 Dana Scott 1 Saul Kripke 1 Jaakko Hintikka 2 Alfred Tarski 4 Paul Cohen 0 Um abraço, JY _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
