Jump to main content

yr 〜
yr

Search results 190

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

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

数学基礎論 増補版

数学基礎論 増補版
Paper図書
新井敏康 著東京大学出版会2021.4<MA41-M32>
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

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

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

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

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

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

計算の科学と手引き (放送大学教材)
Paper図書
辰己丈夫, 高岡詠子 編著放送大学教育振興会2019.3<MA41-M11>
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

ソロンの文化と生活 5 (ツングース言語文化論集 = ИССЛЕДОВАНИЯ ПО ТУНГУСОВЕДЕНИЮ = Publications on Tungus languages and cultures ; 73)

ソロンの文化と生活 5 (ツングース言語文化論集 = ИССЛЕДОВАНИЯ ПО ТУНГУСОВЕДЕНИЮ = Publications on Tungus languages and cultures ; 73)
Paper図書
風間伸次郎, バイカル 編訳東京外国語大学2024.3<KJ93-R1>
National Diet Library
  • Authority（Subject Heading/altLabel）ツングース・満州諸語 ツングース諸語 エベンキ語 エウェンキ語 オロチ語 ソロン語 Tungus-Manchu languages

ソロンの文化と生活 4 (ツングース言語文化論集 = ИССЛЕДОВАНИЯ ПО ТУНГУСОВЕДЕНИЮ = Publications on Tungus languages and cultures ; 72)

ソロンの文化と生活 4 (ツングース言語文化論集 = ИССЛЕДОВАНИЯ ПО ТУНГУСОВЕДЕНИЮ = Publications on Tungus languages and cultures ; 72)
Paper図書
風間伸次郎, バイカル 編訳東京外国語大学2023.3<KJ93-M3>
National Diet Library
  • Authority（Subject Heading/altLabel）ツングース・満州諸語 ツングース諸語 エベンキ語 エウェンキ語 オロチ語 ソロン語 Tungus-Manchu languages

エウェンキー語音声資料 (北方言語研究 = Northern language studies ; 別冊 1) (ツングース言語文化論集 = Publications on Tungus languages and cultures ; 71)

エウェンキー語音声資料 (北方言語研究 = Northern language studies ; 別冊 1) (ツングース言語文化論集 = Publications on Tungus languages and cultures ; 71)
Paper図書
山田祥子 採録・編集, 日本北方言語学会富山大学人文学部2023.3<YU21-M329>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）ツングース・満州諸語 ツングース諸語 エベンキ語 エウェンキ語 オロチ語 ソロン語 Tungus-Manchu languages

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

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

МАТЕРИАЛЫ ПО БЫСТРИНСКОМУ ДИАЛЕКТУ ЭВЕНСКОГО ЯЗЫКА 3 (ИССЛЕДОВАНИЯ ПО ТУНГУСОВЕДЕНИЮ = Publications on tungus languages and cultures = ツングース言語文化論集 ; 66)

МАТЕРИАЛЫ ПО БЫСТРИНСКОМУ ДИАЛЕКТУ ЭВЕНСКОГО ЯЗЫКА 3 (ИССЛЕДОВАНИЯ ПО ТУНГУСОВЕДЕНИЮ = Publications on tungus languages and cultures = ツングース言語文化論集 ; 66)
Paper図書
Синджиро КАЗАМА東京外国語大学2020.11<KJ93-M1>
National Diet Library
  • Authority（Subject Heading/altLabel）ツングース・満州諸語 ツングース諸語 エベンキ語 エウェンキ語 オロチ語 ソロン語 Tungus-Manchu languages

ソロンの文化と生活 2 (ツングース言語文化論集 = ИССЛЕДОВАНИЯ ПО ТУНГУСОВЕДЕНИЮ ; 67)

ソロンの文化と生活 2 (ツングース言語文化論集 = ИССЛЕДОВАНИЯ ПО ТУНГУСОВЕДЕНИЮ ; 67)
Paper図書
風間伸次郎 編著東京外国語大学2020.10<KJ93-M2>
National Diet Library
  • Authority（Subject Heading/altLabel）ツングース・満州諸語 ツングース諸語 エベンキ語 エウェンキ語 オロチ語 ソロン語 Tungus-Manchu languages

数学基礎論

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

ギリシア古代の土地事情と財政に関する研究

ギリシア古代の土地事情と財政に関する研究
Paper図書
伊藤, 正, 鹿児島大学1996-1998<Y151-H08610392>
National Diet Library
  • Subject Heading古代ギリシア ソロンの改革 ソロンの詩篇 アルカイツク期アテネ ホロイ (抵当標石乃至境界標石...

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

SEのためのモデルへのいざない : データモデルとは何か?
Paper図書
佐藤正美 著ソフト・リサーチ・センター2009.2<MA41-J17>
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
RSS