This well-known book by the famed logician consists of three treatises: A General Method in Proofs of Undecidability, Undecidability and Essential Undecidabilit

Computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, s

Studies in Logic and the Foundations of Mathematics: The Theory of Models covers the proceedings of the International Symposium on the Theory of Models, held at

"We prove that any variety of relation algebras which contains an algebra with infinitely many elements below the identity, or which contains the full group rel