Firstorder LogicThis completely selfcontained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in "analytic" or "cutfree" methods. Impressed by the simplicity and mathematical elegance of the tableau point of view, the author focuses on it here. 
What people are saying  Write a review
User ratings
5 stars 
 
4 stars 
 
3 stars 
 
2 stars 
 
1 star 

Review: FirstOrder Logic
User Review  Cain S. Pinto  GoodreadsThis is the most dense book I've ever read, but to say it has been rewarding would be an understatement. I had to reread several paragraphs over and over again before their obvious simplicity shone ... Read full review
Review: FirstOrder Logic
User Review  GoodreadsThis is the most dense book I've ever read, but to say it has been rewarding would be an understatement. I had to reread several paragraphs over and over again before their obvious simplicity shone ... Read full review
Contents
II  3 
III  4 
IV  9 
V  15 
VII  25 
VIII  30 
IX  36 
X  38 
XXXIII  86 
XXXIV  87 
XXXV  89 
XXXVI  91 
XXXVIII  96 
XXXIX  99 
XL  101 
XLI  109 