京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(著者名に左の語を含む: #Church Alonzo)
該当件数:3件
Introduction to mathematical logic / Alonzo Church
pt. 1. - New York : Kraus Reprint Corp. , 1965. - (Annals of mathematics studies ; v. 13)
図書
The calculi of Lambda-conversion / by Alonzo Church
New York : Kraus Reprint , 1965. - (Annals of mathematics studies ; no. 6)
Introduction to mathematical logic / by Alonzo Church
vol. 1.. - Princeton : Princeton University Press , 1956. - (Princeton mathematical series ; 17)