Gödel's Incompleteness Theorems

by Raymond M Smullyan · 1 review · 1994

Reviewed by	Journal	Date	Access
A D Irvine	History and Philosophy of Logic	1994-01-01	—

Metaphysics & Logic History of Philosophy

Also by Smullyan

First-order logic (2 reviews)
Recursion theory for metamathematics (2 reviews)
What is the Name of this Book? The Riddle of Dracula and Other Logical Puzzles (2 reviews)
A Beginner's Further Guide to Mathematical Logic (1 review)
First-order logic. Corrected republication of XL 237 (1 review)
Juegos por Siempre Misteriosos (1 review)
Theory of formal systems (1 review)

Search PhilReviews for this title