Loading…
Intermediate logic /
Intermediate Logic fills a serious gap in the range of university logic texts by offering a clear, reliable, general guide for students taking a second course in logic after completing a basic introduction. It will serve as an ideal follow-up to any of the standard introductory texts, and will give...
| Call Number: | Libro Electrónico |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Oxford : New York :
Clarendon Press ; Oxford University Press,
1997.
|
| Subjects: | |
| Online Access: | Texto completo |
Table of Contents:
- 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; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W.