Notre Dame Mathematical Lectures

Bibliography

Full-text: Open access

Chapter information

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

Dates
First available in Project Euclid: 29 March 2007

Permanent link to this document
https://projecteuclid.org/euclid.ndml/1175197186

Rights
Copyright © 1950, University of Notre Dame