Notre Dame Mathematical Lectures

Introduction

Full-text: Open access

Chapter information

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

Dates
First available in Project Euclid: 29 March 2007

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

Rights
Copyright © 1950, University of Notre Dame

Citation

Curry, Haskell B. Introduction. A Theory of Formal Deducibility, 1--5, University of Notre Dame, Notre Dame, Indiana, 1950. https://projecteuclid.org/euclid.ndml/1175197180


Export citation