Book:Colin Howson/Logic with Trees

Contents

 * Acknowledgements
 * Introduction


 * Part I: Truth-functional logic
 * 1 The basics
 * 2 Truth trees
 * 3 Propositional languages
 * 4 Soundness and completeness


 * Part II: First-order logic
 * 5 Introduction
 * 6 First-order languages: syntax and two more tree rules
 * 7 First-order languages: semantics
 * 8 Soundness and completeness
 * 9 Identity
 * 10 Alternative deduction systems for first-order logic
 * 11 First-order theories
 * 12 Beyond the fringe


 * List of notation
 * Answers to selected exercises
 * References
 * Name index
 * Subject index