Paperback (01 Apr 1995)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
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 |
| Publisher: | Dover Publications Inc. |
| Imprint: | Dover Publications |
| Pub date: | 01 Apr 1995 |
| DEWEY: | 511.3 |
| DEWEY edition: | 20 |
| Language: | English |
| Number of pages: | 158 |
| Weight: | 210g |
| Height: | 215mm |
| Width: | 139mm |
| Spine width: | 12mm |
$5.26off
Hardback
Published 23 Aug 2023
Save $5.26
$10.87off
Hardback
Published 30 Jun 2023
Save $10.87
$3.26off
Paperback
Published 28 Jul 2023
Save $3.26
