Mathematical Logic

Una esposizione chiara, rigorosa e approfondita di:
* Il calcolo proposizionale
* Il calcolo dei predicati
*Insiemistica
* I diversi tipi di continuità e le loro rispettive nature
* I diversi tipi di numero: cardinale, ordinali, razionali, reali, complessi, iper-complessa, e transfinito
* Le fondamenta di set-teorico del cardinale aritmetica e le varie generalizzazioni loro
* La natura dei linguaggi formali
* Diagonalizzazione e Incompletezza
* La natura della logica e della verità formali, e
* Una prova della incompletezza di una dato sistema di deduzione.