Open Access
VOL. 6 | 1950 Chapter III: Quantifiers
Haskell B. Curry
Notre Dame Math. Lectures, 1950: 65-89 (1950)

Abstract

Contents

  • A. Preliminary Analysis

  • B. Conventions of the B-Language

  • C. Rules for Terms and Propositions

  • D. The Systems LA* and LC*

  • E. Theorems on Extensions

  • F. Basic Theorems of the LA* and LC* Systems

  • G. The Systems TA*, TC*.

  • H. The Predicate Calculus

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