Considered the best book in the field, this completely 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 in on the tableau point of view. Topics include trees, tableau method for propositional logic, Gentzen systems, more. Includes 144 illustrations.
| ISBN: | 9780486683706 |
| Publication date: | 1st February 2000 |
| Author: | Raymond M Smullyan |
| Publisher: | Dover Publications an imprint of Dover Publications Inc. |
| Format: | Paperback |
| Pagination: | 158 pages |
| Series: | Dover Books on Mathematics |
| Genres: |
Mathematical logic |
Considered the best book in the field, this completely 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 in on the tableau point of view. Topics include trees, tableau method for propositional logic, Gentzen systems, more. Includes 144 illustrations.
First-Order Logic features in the following genres: Mathematical logic
First-Order Logic is available in Paperback
First-Order Logic was written by Raymond M Smullyan and published by Dover Publications an imprint of Dover Publications Inc.
First-Order Logic has 158 pages
Yes it is part of Dover Books on Mathematics series