Springer Undergraduate Mathematics Series. Springer. Cham. 2018.

De 23,5x16 cm. Com xiv, 141 págs. Brochado. Ilustrado no texto com fotografias a preto e branco.

Introdução à lógica matemática, centrada na teoria dos conjuntos, lógica de primeira ordem e teoria dos modelos. Aborda o axioma da escolha, a dedução natural, os teoremas de completude e Löwenheim-Skolem, os axiomas de ZF(C) e tópicos de aprofundamento em computabilidade e teoria da prova.