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, 1966), 1-5

Dates
First available in Project Euclid: 29 March 2007

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

Rights
Copyright © 1966, University of Notre Dame

Citation

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


Export citation