[obm-l] Lógica Matemática

["Pericles" <ufce@xxxxxxxxxx>]

Estou precisando de material em português sobre:
  Lógica Proposicional
  Lógica de Primeira Ordem
  Dedução Natural
  Tableaux
  Teorema da Substituição
  Corretude e Completude

Se alguem tiver arquivos ou souber bons sites em 
português sobre estes assuntos, ficaria muito grato pela 
ajuda.
----------------------------------
 Péricles Soares de Moura         
 ICQ/UNI - 6067671                
 Messenger - crateus@hotmail.com  
 pericles@lcg.dc.ufc.br           
 Membro do CAComp                 
 Grupo de Computação Gráfica      
 UNIVERSIDADE FEDERAL DO CEARA    
----------------------------------
----------------------------------
 "Life is too short to be little!"
----------------------------------

 
__________________________________________________________________________
Encontre sempre uma linha desocupada com o Discador BOL!
http://www.bol.com.br/discador
Ainda não tem AcessoBOL? Assine já! http://www.bol.com.br/acessobol


=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
O administrador desta lista é <nicolau@mat.puc-rio.br>
=========================================================================