Book:Colin Howson/Logic with Trees
Jump to navigation
Jump to search
Colin Howson: Logic with Trees
Published $\text {1997}$, Routledge
- ISBN 0-415-13341-6
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