東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Kleene Stephen Cole)
該当件数:4件
Introduction to metamathematics / by Stephen Cole Kleene
North-Holland,American Elsevier. - Groningen : Wolters-Noordhoff. - Amsterdam : North-Holland , 1952, c1971. - (Bibliotheca mathematica ; v. 1)
図書
Princeton, N.J. : Van Nostrand , 1952. - (The University series in higher mathematics)
The foundations of intuitionistic mathematics : especially in relation to recursive functions / Stephen Cole Kleene, Richard Eugene Vesley
Amsterdam : North-Holland Pub. Co. , 1965. - (Studies in logic and the foundations of mathematics)
数学的論理学 / クリーネ著 ; 小沢健一訳
上,下. - 東京 : 明治図書出版 , 1971-1973