Open Access
VOL. 6 | 1950 Chapter IV: Negation
Haskell B. Curry
Notre Dame Math. Lectures, 1950: 90-111 (1950)

Abstract

Contents

  • A. Preliminary Analysis

  • B. An Example from Number Theory

  • C. Formulation of the Rules

  • D. Fundamental Theorems

  • E. The Natural Systems T

  • F. The Propositional Algebras

  • G. Concluding Remarks

Information

Published: 1 January 1950
First available in Project Euclid: 29 March 2007

Rights: Copyright © 1950, University of Notre Dame

Vol. 6 • 1 January 1950
Back to Top