Book:Colin Howson/Logic with Trees

From ProofWiki
Jump to navigation Jump to search

Colin Howson: Logic with Trees

Published $\text {1997}$, Routledge

ISBN 0-415-13341-6


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
Name index
Subject index