Obra revista e corrigida pelo autor para a edição portuguesa
Tit. orig.: Logic: an introductory course -Lógica e linguagem
-Uma linguagem proposicional
-Um cálculo proposicional
-Metateoria elementar do cálculo proposicional
-Uma linguagem predicativa
-Análise lógica
-A teoria das relações
-Semântica da lógica de predicados
-Desafios e limitações Logic: na introductory course |