theory of formal deducibility
By: Haskell B. Curry.
Edition: [2d ed.]
Series: Notre Dame mathematical lectures -- no. 6
Published: 1957
Place of publication: Notre Dame, Ind
Language: eng
Number of pages: 129
Subjects: Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. 123-129).