検索キーワード:(標準分類: MA41)
該当件数:53件
無限のパラドクス : 数学から見た無限論の系譜 / 足立恒雄著
東京 : 講談社 , 2000.1. - (ブルーバックス ; B-1278)
図書
真理とは何か / 大熊正著
東京 : 講談社 , 1981.11. - (講談社現代新書 ; 635)
集合への30講 / 志賀浩二著
東京 : 朝倉書店 , 1988.5. - (数学30講シリ-ズ ; 3)
計算幾何学 / 浅野哲夫著
東京 : 朝倉書店 , 1990.9
記号論理学の原理 / H.ライヘンバッハ著 ; 石本新訳
東京 : 大修館書店 , 1982.7
うそとパラドックス / 内井惣七著
東京 : 講談社 , 1987.12. - (講談社現代新書 ; 881)
パラドックスの世界 : 星間・逆説の旅 / 田村三郎著
東京 : 講談社 , 1981.7. - (ブル-バックス ; 467)
虚数iの不思議 : 数の生いたちから複素数まで / 堀場芳数著
東京 : 講談社 , 1990.8. - (ブル-バックス ; 833)
オ-トマトンと計算可能性 / 有川節夫, 宮野悟著
東京 : 培風館 , 1986.9. - (情報処理シリ-ズ ; 9)
數理と論理 / 末綱恕一著
東京 : 弘文堂書房 , 1947.7. - (教養文庫)
逆説論理学 / 野崎昭弘著
東京 : 中央公論社 , 1980.11. - (中公新書 ; 593)
集合論 / アラン・ブーヴィエ著 ; 川尻信夫訳
: 図書館用特装版. - 東京 : 白水社 , 1971. - (文庫クセジュ ; 488)
数学モデルの作り方と理論 : ソフト・ウェア工学入門 / 加藤ライジ著
東京 : 工学図書 , 1971
パズルとパラドックス / 内井惣七著
東京 : 講談社 , 1989.10. - (講談社現代新書 ; 970)
数学基礎論入門 / R.L.グッドステイン著 ; 赤攝也訳
東京 : 培風館 , 1979.3
無限 / L.ジッピン著 ; 赤摂也,川尻信夫訳
東京 : 河出書房新社 , 1971.3. - (SMSG新数学双書 ; 10)
オートマトン入門 / 樹下行三著
東京 : 朝倉書店 , 1973. - (電子工学シリーズ / 清野武[ほか]編 ; 3)
直観主義的集合論 / 竹内外史著
東京 : 紀伊国屋書店 , 1980.12. - (紀伊國屋数学叢書 ; 20)
計算機科学入門 / M. アービブ, A. クフォーリ, R. モル共著 ; 甘利俊一, 金谷健一, 嶋田晋共訳
東京 : サイエンス社 , 1984.11. - (Information & computing ; 1)
プログラミングによる計算可能性理論 / A. クフォーリ, R. モル, M. アービブ共著 ; 甘利俊一, 金谷健一, 川端勉共訳
東京 : サイエンス社 , 1987.12. - (Information & computing ; 18)