## Notre Dame Mathematical Lectures

- A Theory of Formal Deducibility
- 1950, 123-126

### Bibliography

#### Chapter information

**Source***A Theory of Formal Deducibility* (Notre Dame, Ind.: University of Notre Dame, 1950)

**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