山梨大学の蔵書を検索します。
CiNii Booksを検索します。
CiNiiを検索します。
IRDBを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(著者名に左の語を含む: #Kleene Stephen Cole)
該当件数:3件
数学的論理学 / クリーネ著 ; 小沢健一訳
上,下. - 東京 : 明治図書出版 , 1971-1973
図書
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)
Introduction to metamathematics / by Stephen Cole Kleene
Amsterdam : North-Holland. - Groningen : P. Noordhoff N.V. , 1952. - (Bibliotheca mathematica ; v. 1)
