Scan barcode
176 pages • first pub 1968 (editions)
ISBN/UID: 9780486683706
Format: Paperback
Language: English
Publisher: Dover Publications
Publication date: 30 January 1995
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.
Community Reviews
Content Warnings
176 pages • first pub 1968 (editions)
ISBN/UID: 9780486683706
Format: Paperback
Language: English
Publisher: Dover Publications
Publication date: 30 January 1995
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.
Community Reviews
Content Warnings