by: Raymond Smullyan
Be the first one to review
Review the book today!
Overview
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"...
Read more