Completezza, compattezza, indecidibilità

€23.00

Questo volume presenta in forma compatta alcune delle tecniche e dei risultati principali della logica della matematica. Il volume si caratterizza per l’uso dei calcolo delle sequenze di Gentzen, l’impiego dei metodi naturali di Beth, Hintikka, Schütte e Kanger per dimostrare la completezza dei calcoli, una chiara distinzione tra i teoremi di compattezza e il ricorso all’approccio diretto di Büchi per stabilire l’ indecidibilità del calcolo dei predicati.