名古屋大学附属図書館




1

Foundations of mathematical logic

Haskell B. Curry. -- McGraw-Hill, [1963]. -- (McGraw-Hill series in higher mathematics).