Intermediate logic /
Saved in:
| Author / Creator: | Bostock, David. |
|---|---|
| Imprint: | Oxford : Clarendon Press ; New York : Oxford University Press, 1997. |
| Description: | ix, 393 p. : ill. ; 25 cm. |
| Language: | English |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/3247507 |
Table of Contents:
- Preface
- Part I. Semantics
- 1. Introduction
- 2. Truth-Functors
- 3. Quantifiers
- Part II. Proofs
- 4. Semantic Tableaux
- 5. Axiomatic Proofs
- 6. Natural Deduction
- 7. Sequent Calculi
- Part III. Further Topics
- 8. Existence and Identity
- References
- List of Symbols
- List of Axioms and Rules of Inference
- Index
