名古屋大学附属図書館




1

A theory of formal deducibility

by Haskell Brooks Curry. -- [2nd ed.]. -- University of Notre Dame Press, [1955?], c1950. -- (Notre Dame mathematical lectures ; no. 6).