Haskell B. Curry, A Theory of Formal Deducibility, (Notre Dame, Ind.: University of Notre Dame, 1966)

Haskell B. Curry

Notre Dame Mathematical Lectures, Number 6
Notre Dame, Indiana : University of Notre Dame, 1966. 2nd edition
129 pp.

Logic, Symbolic and mathematical
02.10

Permanent link to this monograph: http://projecteuclid.org/euclid.ndml/1175197293
Mathmatical Reviews number (MathSciNet): MR0266741

Title and Copyright Pages

i-ii

Preface

iii-vii

Table of Contents

ix-x

Notational Explanations

xi

Introduction

1-5

Chapter I: Formal Systems and Formal Reasoning

6-23

Chapter II: The Finite Positive Connectives

24-64

Chapter III: Quantifiers

65-89

Chapter IV: Negation

90-111

Chapter V: Modalities

112-121

Bibliography

123-129

Notre Dame Mathematical Lectures