First-Order Logic
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.
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.
show less
Format: paperback
ISBN:
9780486683706 (0486683702)
Publish date: January 30th 1995
Publisher: Dover Publications
Pages no: 176
Edition language: English
Log in with Facebook 
