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, 1966
129 pp.

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

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

Mathematical Reviews (MathSciNet):
MR0266741

Subjects
Logic, Symbolic and mathematical

Rights
Copyright © 1966, University of Notre Dame

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

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