Notre Dame Mathematical Lectures

A Theory of Formal Deducibility

Haskell B. Curry

Book information

Author
Haskell B. Curry

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

Dates
Publication date: 1950
First available online in Project Euclid: 29 March 2007

Permanent link to this book
http://projecteuclid.org/euclid.ndml/1175197175

Mathematical Reviews (MathSciNet):
MR0033779

Subjects
Logic, Symbolic and mathematical
02.0X

Rights
Copyright © 1950, University of Notre Dame

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

Select/deselect all
  • Export citations
Select/deselect all
  • Export citations