A theory of formal deducibility.
| Author/creator | Curry, Haskell B. |
| Format | Book |
| Edition | [2d. ed]. |
| Publication Info | Notre Dame, 1966 [©1950] |
| Description | xi, 129 pages ; 23 cm. |
| Subjects |
| Series | Notre Dame mathematical lectures ; no. 6 Notre Dame mathematical lectures no. 6. ^A207988 |
| Local note | Joyner-FOR JOYNER LIBRARY HOLDINGS OF THE SERIES, NOTRE DAME MATHEMATICAL LECTURES, SEARCH BY CALL NUMBER QA1 .N87. |
| Bibliography note | Bibliography: p. 123-129. |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA1.N87 NO. 6 | ✔ Available | Place Hold |