First-Order Logic (Dover Books on Mathematics)
First-Order Logic (Dover Books on Mathematics)
Smullyan, Raymond M.
0486683702
ISBN 13: 9780486683706
Softcover

First-Order Logic (Dover Books on Mathematics)

97
ING9780486683706
Special order direct from the distributor
Add to Cart View Cart
This self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in ""analytic"" or ""cut free"" methods. The focus is on the tableau point of view. Includes 144 illustrations.

Advanced Search

Advanced Search
Close Advanced Search

RUSSELL BOOKS
100-747 Fort Street
Victoria, BC V8W 3E9
250.361.4447

© Russell Books · Victoria, BC · Website by Caorda Web Solutions

Free ShippingOn orders $50 or more. North America only.Learn More