Recursion theory for metamathematics

by Raymond M. Smullyan · 2 reviews · 1994–1995

Reviewed by	Journal	Date	Access
Piergiorgio Odifreddi	The Journal of Symbolic Logic	1995	Restricted
A D Irvine	History and Philosophy of Logic	1994-01-01	—

Metaphysics & Logic History of Philosophy

Also by Smullyan

First-order logic (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)
Gödel's Incompleteness Theorems (1 review)
Juegos por Siempre Misteriosos (1 review)
Theory of formal systems (1 review)

Search PhilReviews for this title