Handbook of Philosophical Logic Volume I: Elements of Classical Logic
The aim of the first volume of the present Handbook of Philosophical Logic is essentially two-fold: First of all, the chapters in this volume should provide a concise overview of the main parts of classical logic. Second, these chapters are intended to present all the relevant background material ne...
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Dordrecht
Springer Netherlands
1983, 1983
|
Edition: | 1st ed. 1983 |
Series: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- to Volume I
- I.1. Elementary Predicate Logic
- I.2. Systems of Deduction
- I.3. Alternatives to Standard First-order Semantics
- I.4. Higher-order Logic
- I.5. Predicative Logics
- I.6. Algorithms and Decision Problems: A Crash Course in Recursion Theory
- Name Index
- Table of Contents to Volumes II, III, and IV.