First-order logic. Corrected republication of XL 237

by Raymond M. Smullyan · 1 review · 1996

Reviewed by	Journal	Date	Access
Jeremy Avigad	The Journal of Symbolic Logic	1996	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)
Gödel's Incompleteness Theorems (1 review)
Juegos por Siempre Misteriosos (1 review)
Theory of formal systems (1 review)

Search PhilReviews for this title