First-order logic

by Raymond M. Smullyan · 2 reviews · 1971–1975

Reviewed by	Journal	Date	Access
William Craig	The Journal of Symbolic Logic	1975	Restricted
R Beneyto	Teorema	1971-09-01	Restricted

Metaphysics & Logic

Also by Smullyan

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)
Theory of formal systems (1 review)

Search PhilReviews for this title