Smullyan, Raymond M.
First-order Logic (Dover books on advanced mathematics)
- ISBN 13:
- 9780486683706
- author:
- Smullyan, Raymond M.
- format:
- Paperback
- publisher:
- Dover Publications Inc.
- language:
- English
- Publication Year:
- 1995
- Pages:
- 176
- Genre:
- Mathematical logic
- Condition:
- New
- Availability:
- Item usually sent within 7 working days
Description
First-order Logic is a comprehensive study of quantification theory and analytic methods in logic. This self-contained book serves as both an introduction to propositional logic and an exposition of new techniques in "analytic" or "cut-free" methods.
The author focuses on the tableau point of view, building on preliminary material on trees necessary for this method. The book is divided into three parts, with Part I covering propositional logic from an analytic tableaux perspective and Part II delving into first-order logic, including topics such as quantification theory and magic sets.
Written by a well-known logician and puzzle inventor, First-order Logic offers a stimulating and challenging exposition of the subject. This book is suitable for logicians, mathematicians, and anyone interested in the field, making it an ideal choice for those looking to explore or deepen their understanding of first-order logic.
Related Products
Related Products
A Profile of Mathematical Logic (Dover Books on Mathematics)
Delong, Howard
A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics)
Smullyan, Raymond
Number Theory (Dover books on advanced mathematics)
Andrews, George E.
Advanced Euclidean Geometry (Dover Books on Mathematics)
Johnson, Roger A.
Advanced Calculus of Several Variables (Dover Books on Advanced Mathematics)
Edwards, C.H.