Melvin Fitting

Beyond Two

First-Order Modal Logic

Raymond Smullyan On Self Reference

Justification Logic

Numbers

Incompletetude Na Terra Dos Conjuntos

First-Order Logic And Automated Theorem Proving

Computability Theory, Semantics, And Logic Programming (Oxford Logic Guides)