![First-Order Logic (Dover Books on Mathematics)](https://d3525k1ryd2155.cloudfront.net/f/706/683/9780486683706.OL.0.m.jpg)
Stock Photo: Cover May Be Different
First-Order Logic (Dover Books on Mathematics) Paperback - 1995
by Raymond M. Smullyan
- Used
- Good
- Paperback
This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in "analytic" or "cut-free" methods. Presented in tableau format, the material covers propositional and first-order logic. 144 illustrations.
Drop Ship Order
Description
NZ$47.42
FREE Shipping to USA
Standard delivery: 7 to 14 days
More Shipping Options
Ships from Bonita (California, United States)
Details
- Title First-Order Logic (Dover Books on Mathematics)
- Author Raymond M. Smullyan
- Binding Paperback
- Edition [ Edition: first
- Condition Used - Good
- Pages 176
- Volumes 1
- Language ENG
- Publisher Dover Publications, New York
- Date 1995-01-30
- Illustrated Yes
- Features Illustrated
- Bookseller's Inventory # 0486683702.G
- ISBN 9780486683706 / 0486683702
- Weight 0.38 lbs (0.17 kg)
- Dimensions 8.48 x 5.42 x 0.39 in (21.54 x 13.77 x 0.99 cm)
- Library of Congress subjects First-order logic
- Library of Congress Catalog Number 94039736
- Dewey Decimal Code 511.3
About Bonita California, United States
Biblio member since 2020