東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Beth Evert Willem)
該当件数:3件
Aspects of modern logic / Evert W. Beth
Dordrecht : Reidel , c1970. - (Synthese library)
図書
Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic / Evert Willem Beth
Dordrecht, Holland : D. Reidel , 1962. - (Synthese library)
数学の思想 : 数理哲学入門 / E.W.ベート著 ; 好田順治訳
京都 : 現代数学社 , 1986.5