| First-Order Logic Contributor(s): Smullyan, Raymond M. (Author), Mathematics (Author) |
|||||||
 |
ISBN: 0486683702 ISBN-13: 9780486683706 Publisher: Dover Publications
WE WILL NOT BE UNDERSOLD! Click here for our low price guarantee Binding 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. Click for more in this series: Dover Books on Mathematics |
||||||
| 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" L (0.38 lbs) 176 pages |
| Features: Illustrated, Price on Product |
| 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. |
| Customer ReviewsSubmit your own review |
| To tell a friend about this book, you must Sign In First! |
Copyright © 2024 TheReadingWarehouse.com