Jump to main content

yr 〜
yr

Search results 144

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

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

数学基礎論 増補版

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

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

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

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

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

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

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

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

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

数論・論理・意味論その原型と展開 : 知の巨人たちの軌跡をたどる

数論・論理・意味論その原型と展開 : 知の巨人たちの軌跡をたどる
Paper図書
野本和幸 著東京大学出版会2019.8<MA41-M21>
National Diet LibraryOther Libraries in Japan

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

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

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

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

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

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

数学基礎論

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

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

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

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

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

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

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

コーエン型強制条件のサイズの数理 : ランダム性と計算複雑さへの応用

コーエン型強制条件のサイズの数理 : ランダム性と計算複雑さへの応用
Paper図書
鈴木登志雄, 首都大学東京 [著][鈴木登志雄]2005-2007<Y151-H17540131>
National Diet Library

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

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

論理と計算のしくみ

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

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

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

数の体系と超準モデル

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

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

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