A theory of formal deducibility.

Saved in:

Bibliographic Details
Main Author:	Curry, Haskell B. (Haskell Brooks), 1900-1982
Format:	Book
Language:	English
Published:	Notre Dame, Ind., 1957 [©1950]
Edition:	2d ed.
Series:	Notre Dame mathematical lectures, no. 6
Subjects:	Logic, Symbolic and mathematical.

Minnesota State University, Mankato

Holdings details from Minnesota State University, Mankato
Call Number:	QA1 .N87 no. 6 1957

Holdings details from Winona State University
Call Number:	QA1 .N87 no.6