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

Haskell B. Curry

Notre Dame Mathematical Lectures, Number 6
Notre Dame, Indiana : University of Notre Dame, 1950.
126 pp.

Logic, Symbolic and mathematical
02.0X

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

Title and Copyright Pages

i-ii

Preface

iii-v

Table of Contents

vii-viii

Notational Explanations

ix

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-126

Notre Dame Mathematical Lectures