Para adquirir Natural Deduction, de Dag Prawitz, basta puxar pelo liame http://rapidshare.com/files/159226346/Natural_Deduction_-_A_Proof_Theoretica l_Study_._Dag_Prawitz.pdf o arquivo correspondente.
De mesma forma, para adquirir Proof Theory An Introduction de Wolfram Pohlers, basta seguir o liame http://rapidshare.com/files/159228184/Proof_Theory_-_An_Introduction_._Wolfr am_Pohlers.pdf.
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
