Estou realizando um trabalho sobre instanciação e gostaria da ajuda da lista para obter algumas informações.
Estou tentando identificar a origem de cada uma das formas apresentadas pelos autores: 1) Enderton em "A Mathematical Introduction to Logic"; 2) Ebbinghauss em "Mathematical Logic"; 3) Prawitz em "Natural Deduction" 4) David Gries em "A Logical Approach to Discrete Math"; 5) Bourbaki em "Theorie des Ensembles" Desde já agradeço a atenção. Rafael
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
