Fitting Melvin

Raymond Smullyan On Self Reference

First-Order Logic And Automated Theorem Proving

Incompletetude Na Terra Dos Conjuntos

Justification Logic

Numbers

Beyond Two

Beyond Two: Theory And Applications Of Multiple-Valued Logic

Set Theory And The Continuum Problem

Fundamentals Of Generalized Recursion Theory

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