Church, Alonzo, Introduction to mathematical logic : volume I= I / Alonzo Church

Introduction to mathematical logic : volume I= I / Alonzo Church . - 1ª edição . - xxa Princeton xxa-fimyyc Princeton University Press yyc-fim, 1956 . - IX + 378 p. . - (Princeton Mathematical Series / Phillip A. Griffiths, Marston Morse, Elias M. Stein; 17= 17)) Lógica matemática
Filosofia e matemática
Filosofia
Função
Lógica proposicional
Cálculo
Teoremas
Teorema da incompletude de Gödel
Problema da decisão

1