Top
| Preface | |
| Explanation of Conventions | |
| Introduction | |
| The nature of mathematical logic | |
| The logical antinomies | |
| The nature of mathematics | |
| Mathematics and logic | |
| Supplementary topics | |
| Formal Systems | |
| Preliminaries | |
| Theories | |
| Systems | |
| Special forms of systems | |
| Algorithms | |
| Supplementary topics | |
| Epitheory | |
| The nature of epitheory | |
| Replacement and monotone relations | |
| The theory of definition | |
| Variables | |
| Supplementary topics | |
| Relational logical algebra | |
| Logical algebras in general | |
| Lattices | |
| Skolem lattices | |
| Classical Skolem lattices | |
| Supplementary topics | |
| The Theory of Implication | |
| General principles of assertional logical algebra | |
| Propositional algebras | |
| The systems LA and LC | |
| Equivalence of the systems | |
| L deducibility | |
| Supplementary topics | |
| Negation | |
| The nature of negation | |
| L systems for negation | |
| Other formulations of negation | |
| Technique of classical negation | |
| Supplementary topics | |
| Quantification | |
| Formulation | |
| Theory of the L systems | |
| Other forms of quantification theory | |
| Classical epitheory | |
| Supplementary topics | |
| Modality | |
| Formulation of necessity | |
| The L theory of necessity | |
| The T and H formulations of necessity | |
| Supplementary topics Bibliography | |
| Index | |
| Table of Contents provided by Publisher. All Rights Reserved. |
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.
Need Help? Copyright © 1999-2026
