yr 〜
yr

Search results 64

数学基礎論入門 新装 (朝倉復刊セレクション. 基礎数学シリーズ)

数学基礎論入門 新装 (朝倉復刊セレクション. 基礎数学シリーズ)
Paper図書
前原昭二 著朝倉書店2024.8<MA41-R7>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00571525

数学の盲点とその解明 2 復刻版

数学の盲点とその解明 2 復刻版
Paper図書
石谷茂 著現代数学社2022.3<MA21-M265>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00571525 00565709

数学基礎論 増補版

数学基礎論 増補版
Paper図書
新井敏康 著東京大学出版会2021.4<MA41-M32>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00571525

逆数学 : 定理から公理を「証明」する

逆数学 : 定理から公理を「証明」する
Paper図書
ジョン・スティルウェル 著, 田中一之 監訳・解説, 川辺治之 訳森北出版2019.2<MA41-M2>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00571525

計算の科学と手引き (放送大学教材)

計算の科学と手引き (放送大学教材)
Paper図書
辰己丈夫, 高岡詠子 編著放送大学教育振興会2019.3<MA41-M11>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00571525 00565378

数学基礎論序説 : 数の体系への論理的アプローチ

数学基礎論序説 : 数の体系への論理的アプローチ
Paper図書
田中一之 著裳華房2019.6<MA41-M9>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00571525

数学基礎論 (ちくま学芸文庫 ; マ41-1. [Math & Science])

数学基礎論 (ちくま学芸文庫 ; マ41-1. [Math & Science])
PaperDigital図書
前原昭二, 竹内外史 著筑摩書房2017.1<MA41-L63>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00571525

その理屈、証明できますか? : 正しく命題にたどり着くための手法と思考の学び方

その理屈、証明できますか? : 正しく命題にたどり着くための手法と思考の学び方
Paper図書
Daniel J.Velleman 著, 神林靖 訳翔泳社2016.11<MA21-L357>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)01190375 00571525

キューネン数学基礎論講義

キューネン数学基礎論講義
Paper図書
ケネス・キューネン 著, 藤田博司 訳日本評論社2016.7<MA41-L56>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00571525

独習コンピュータ科学基礎 1

独習コンピュータ科学基礎 1
Paper図書
James L.Hein 著, 神林靖 訳翔泳社2011.6<M154-J263>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00571525 00560337

公理と証明 : 証明論への招待 (ちくま学芸文庫 ; イ37-2. [Math & Science])

公理と証明 : 証明論への招待 (ちくま学芸文庫 ; イ37-2. [Math & Science])
PaperDigital図書
彌永昌吉, 赤攝也 著筑摩書房2012.9<MA41-J77>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00571525 01190375

数学基礎論

数学基礎論
Paper図書
新井敏康 著岩波書店2011.5<MA41-J53>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00571525

数理基礎論講義 : 論理・集合・位相 (ライブラリ数理・情報系の数学講義 ; 1)

数理基礎論講義 : 論理・集合・位相 (ライブラリ数理・情報系の数学講義 ; 1)
Paper図書
金子晃 著サイエンス社2010.6<MA41-J37>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00571525 00565709 00573284

SEのためのモデルへのいざない : データモデルとは何か?

SEのためのモデルへのいざない : データモデルとは何か?
Paper図書
佐藤正美 著ソフト・リサーチ・センター2009.2<MA41-J17>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00571525

論理と計算のしくみ

論理と計算のしくみ
Paper図書
萩谷昌己, 西崎真也 著岩波書店2007.6<MA41-H51>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00571525

数学基礎論入門 復刊 (基礎数学シリーズ ; 23)

数学基礎論入門 復刊 (基礎数学シリーズ ; 23)
Paper図書
前原昭二 著朝倉書店2006.3<MA41-H29>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00571525

数学と論理 (講座<数学の考え方> ; 23)

数学と論理 (講座<数学の考え方> ; 23)
Paper図書
難波完爾 著朝倉書店2003.4<MA41-H5>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00571525 00565709

数の体系と超準モデル

数の体系と超準モデル
Paper図書
田中一之 著裳華房2002.4<MA41-G82>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00571525

お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? (ブルーバックス)

お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? (ブルーバックス)
Paper図書
八杉満利子, 林晋 著講談社2002.6<MA41-G83>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00571525

数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える

数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える
Paper図書
[ソーンダース・マックレーン] [ほか著], 田中一之 編・監訳シュプリンガー・フェアラーク東京1999.2<MA41-G49>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00571525