城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(標準分類: 410.12)
該当件数:21件
フレーゲの論理哲学 / 田畑博敏著
福岡 : 九州大学出版会 , 2002.2
図書
Model theory for modal logic : Kripke models for modal predicate calculi / Kenneth A. Bowen.
v. 127. - Dordrecht, Holland : D. Reidel Pub. Co. , c1979.. - (Synthese library ; v. 127)
Descriptive set theory / Yiannis N. Moschovakis.
v. 100. - Amsterdam : North-Holland , c1980.. - New York : Elsevier-North Holland , c1980.. - (Studies in logic and the foundations of mathematics ; v. 100)
Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978 / edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloon.
v. 97. - Amsterdam : North-Holland , 1979. - New York : Elsevier/North-Holland, sole distributors for the U.S.A. and Canada , 1979. - (Studies in logic and the foundations of mathematics ; v. 97)
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen.
v. 101. - Amsterdam : North-Holland , 1980. - New York : Elsevier North-Holland , 1980. - (Studies in logic and the foundations of mathematics ; v. 101)
Logic for mathematicians / A. G. Hamilton.
Cambridge, England : Cambridge University Press , 1978
An outline of mathematical logic : fundamental results and notions explained with all details / by Andrzej Grzegorczyk.
Dordrecht, Holland : D. Reidel Pub. Co. , {1974}
記号論理学 / ペー・エス・ノヴィコフ著 ; 石本新訳
東京 : 東京図書 , 1965.8. - (数学選書)
ゲーデルの謎を解く / 林晋著
東京 : 岩波書店 , 1993.11. - (岩波科学ライブラリー ; 6)
Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen.
v. 121, 123. - Amsterdam : North-Holland , 1988. - (Studies in logic and the foundations of mathematics ; "v. 121, 123")
Proof theory and logical complexity / Jean-Yves Girard.
1. - Napoli : Bibliopolis , c1987-. - Amsterdam : Elsevier Science , c1987-. - (Studies in proof theory : monographs ; 1)
数理論理学入門 / 角田譲著
東京 : 朝倉書店 , 1996.6
スマリヤン記号論理学 : 一般化と記号化 / Raymond Smullyan[著] ; 川辺治之訳
東京 : 丸善出版 , 2013.1
記号論理学 : その成立史の研究 / 末木剛博著
東京 : 東京大学出版会 , 1962.4. - (東大学術叢書 ; 15)
ゲーデルの不完全性定理 / レイモンド・スマリヤン {著} ; 高橋昌一郎訳
東京 : 丸善 , 1996.7
Elements of logic and foundations of mathematics in problems / Wiktor Marek and Janusz Onyszkiewicz
Dordrecht, Holland : D. Reidel , 1982. - Warszawa : PWN-Polish Scientific Publishers , 1982. - Hingham, MA : Distributors for the U.S.A. and Canada, Kluwer Boston , c1982
Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979 / edited by L. Jonathan Cohen ... [et al.]
: us. - Amsterdam ; New York : North-Holland Pub. Co.. - Warszawa : PWN--Polish Scientific Publishers. - New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1982. - (Studies in logic and the foundations of mathematics ; v. 104)
計算論理学入門 : AIとコンピュータサイエンスへの論理的アプローチ / 赤間世紀著
東京 : 啓学出版 , 1992.12
Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson
U.S.,Germany. - Berlin ; New York : Springer-Verlag , c1985. - (Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3 . Folge ; Bd. 6)