close
1.

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

図書
図書
2. Introduction to mathematical logic (pt. 1)
by Alonzo Church ; notes by C.A. Truesdell
出版情報: New York : Kraus Reprint, 1965
シリーズ名: Annals of mathematics studies ; v. 13
所蔵情報: loading…