Olá para todos.
No link abaixo
http://dl.dropbox.com/u/5959592/robbin_cap_1.pdf
o capítulo 1 do Robbin. Vamos usá-lo para estudar sistemas axiomáticos.
Uma apostila com a prova do teorema da dedução está no link
http://sites.google.com/site/textoslogica/arquivos/teorema_da_deducao.pdf
e algumas derivações do Robbin estão em
http://sites.google.com/site/textoslogica/arquivos/robbin_teoremas.pdf
Abraços
Nenhum comentário:
Postar um comentário