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