Theory of formal systems

by Raymond M. Smullyan · 1 review · 1965

Reviewed by	Journal	Date	Access
Marian Boykan Pour-El	The Journal of Symbolic Logic	1965	Restricted

Metaphysics & Logic

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)
Gödel's Incompleteness Theorems (1 review)
Juegos por Siempre Misteriosos (1 review)

Search PhilReviews for this title