close
1.

図書
図書
1. A theory of formal deducibility. [2nd ed.]
by Haskell Brooks Curry
出版情報: Notre Dame, Ind. : University of Notre Dame Press, [1955?], c1950
シリーズ名: Notre Dame mathematical lectures ; no. 6
所蔵情報: loading…
2.

図書
図書
2. American Mathematical Society translations (Ser. 2, v. 1 - Ser. 2, v. 18)
出版情報: Providence, R.I. : American Mathematical Society, 1955-
所蔵情報: loading…