
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.

1968. 2nd Print

Softcover Repri


![First-Order Logic[ FIRST-ORDER LOGIC ] by Smull... 0486481506 Book Cover](https://m.media-amazon.com/images/I/31Vu15Tj2BL._SL500_.jpg)