"A valuable collection both for original source material as well as historical formulations of current problems." — The Review of Metaphysics "Much more than

This book offers a detailed engagement between the French philosopher Jacques Derrida and the contemporary Irish author Paul Howard, aka Ross O’Carroll-Kelly.

First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be pro

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

Kurt Gödel (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems. He was the greatest mathematical logician of