First-Order Logic Contributor(s): Smullyan, Raymond M. (Author) |
|
ISBN: 0486683702 ISBN-13: 9780486683706 Publisher: Dover Publications OUR PRICE: $9.86 Product Type: Paperback Published: January 1995 Annotation: 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. |
Additional Information |
BISAC Categories: - Mathematics | Logic |
Dewey: 511.3 |
LCCN: 94039736 |
Series: Dover Books on Mathematics |
Physical Information: 0.39" H x 5.42" W x 8.48" (0.38 lbs) 176 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |