1.

図書
図書
1. Introduction to mathematical logic (vol. 1.)
by Alonzo Church
出版情報: Princeton : Princeton University Press, 1956
シリーズ名: Princeton mathematical series ; 17
所蔵情報: loading…
2.

図書
図書
2. Introduction to mathematical logic (v. 1)
by Alonzo Church
出版情報: Princeton, N.J. : Princeton University Press, 1956
シリーズ名: Princeton mathematical series ; v. 17
所蔵情報: loading…
3.

図書
図書
3. The calculi of Lambda-conversion
by Alonzo Church
出版情報: New York : Kraus Reprint, 1965
シリーズ名: Annals of mathematics studies ; no. 6
所蔵情報: loading…