Foundations of Mathematical Logic by Curry, Haskell B. -- Read -- Imperial Library of Trantor

Index

Title Page PREFACE TO THE DOVER EDITION Copyright Page PREFACE TO THE FIRST EDITION Table of Contents EXPLANATION OF CONVENTIONS Chapter 1 - INTRODUCTION

A. THE NATURE OF MATHEMATICAL LOGIC B. THE LOGICAL ANTINOMIES C. THE NATURE OF MATHEMATICS D. MATHEMATICS AND LOGIC S. SUPPLEMENTARY TOPICS

Chapter 2 - FORMAL SYSTEMS

A. PRELIMINARIES B. THEORIES C. SYSTEMS D. SPECIAL FORMS OF SYSTEMS E. ALGORITHMS S. SUPPLEMENTARY TOPICS

Chapter 3 - EPITHEORY

A. THE NATURE OF EPITHEORY B. REPLACEMENT AND MONOTONE RELATIONS C. THE THEORY OF DEFINITION D. VARIABLES S. SUPPLEMENTARY TOPICS

Chapter 4 - RELATIONAL LOGICAL ALGEBRA

A. LOGICAL ALGEBRAS IN GENERAL B. LATTICES C. SKOLEM LATTICES D. CLASSICAL SKOLEM LATTICES S. SUPPLEMENTARY TOPICS

Chapter 5 - THE THEORY OF IMPLICATION

A. GENERAL PRINCIPLES OF ASSERTIONAL LOGICAL ALGEBRA B. PROPOSITIONAL ALGEBRAS C. THE SYSTEMS LA AND LC D. EQUIVALENCE OF THE SYSTEMS E. L DEDUCIBILITY S. SUPPLEMENTARY TOPICS

Chapter 6 - NEGATION

A. THE NATURE OF NEGATION B. L SYSTEMS FOR NEGATION C. OTHER FORMULATIONS OF NEGATION D. TECHNIQUE OF CLASSICAL NEGATION S. SUPPLEMENTARY TOPICS

Chapter 7 - QUANTIFICATION

A. FORMULATION B. THEORY OF THE L* SYSTEMS C. OTHER FORMS OF QUANTIFICATION THEORY D. CLASSICAL EPITHEORY S. SUPPLEMENTARY TOPICS

Chapter 8 - MODALITY

A. FORMULATION OF NECESSITY B. THE L THEORY OF NECESSITY C. THE T AND H FORMULATIONS OF NECESSITY

BIBLIOGRAPHY INDEX LIST OF ADDITIONAL SYMBOLS

Chief Librarian: Las Zenow <zenow@riseup.net>
Fork the source code from gitlab.