Book:Colin Howson/Logic with Trees

From ProofWiki
Jump to: navigation, search

Colin Howson: Logic with Trees

Published $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