Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Standard classification: 116.3)
Results:53items
記号論理学 : その展望と限界をさぐる / R. ジェフリー著 ; 戸田山和久訳
東京 : マグロウヒル出版 , 1992.12
Books
ポパーとウィトゲンシュタイン : ウィーン学団・論理実証主義再考 / ドミニック・ルクール著 ; 野崎次郎訳
東京 : 国文社 , 1992.7
フレーゲ・ラッセル・ラムジー・ヘンペル・シュリック・ノイラート・カルナップ / G. フレーゲほか著 ; 土屋俊 [ほか] 訳
東京 : 勁草書房 , 1986.10. - (双書プロブレーマタ ; 6 . 現代哲学基本論文集 / 坂本百大編 ; 1)
記号理論の基礎 / Ch.W.モリス著 ; 内田種臣, 小林昭世訳
東京 : 勁草書房 , 1988.1. - (双書プロブレーマタ ; 9)
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}
数学と論理と / J.R.ニューマン他編 ; 林雄一郎訳編
東京 : 東京図書 , 1970. - (科学技術選書)
論理学 : モデル理論と歴史的背景 / 神野慧一郎,内井惣七 著
京都 : ミネルヴァ書房 , 1976
数学的論理学.上 / クリーネ 著 ; 小沢健一 訳
東京 : 明治図書出版 , 1971
数学的論理学.下 / クリーネ 著 ; 竹内誠吉,小沢健一 訳
東京 : 明治図書出版 , 1973
記号論理学 / 斎藤晢郎著
東京 : 理想社 , 1964.9
記号論理学 / ペー・エス・ノヴィコフ著 ; 石本新訳
東京 : 東京図書 , 1965.8. - (数学選書)
記号論理学 / ジャン・ショーヴィノー著 ; 芹沢正三訳
東京 : 白水社 , 1959. - (文庫クセジュ ; 257)
論理 / 中谷太郎著
東京 : 共立出版 , 1967.11. - (新しい数学へのアプローチ ; 2)
自然科学と社会科学の統一 / F.フィードラー 著 ; 岩崎允胤 訳
東京 : 大月書店 , 1973.4