A theory of formal deducibility.

Bibliographic Details

Main Author:	Curry, Haskell B. (Haskell Brooks), 1900-1982
Format:	Book
Language:	English
Published:	Notre Dame, [publisher not identified] ; [1950]
Series:	Notre Dame mathematical lectures ; no. 6.
Subjects:	Logic, Symbolic and mathematical.