Jump to main content

yr 〜
yr

Search results 21

公理論的集合論 復刊

公理論的集合論 復刊
Paper図書
西村敏男, 難波完爾 著共立出版2013.4<MA41-L10>
National Diet LibraryOther Libraries in Japan
  • Subject Heading公理的集合論

ゲーデルのプログラムへのイデアルの応用

ゲーデルのプログラムへのイデアルの応用
Paper図書
松原洋, 名古屋大学 [著][松原洋]2005-2006<Y151-H17540110>
National Diet Library
  • Subject Heading公理的集合論

イデアルの巨大基数的性質の研究

イデアルの巨大基数的性質の研究
Paper図書
松原洋, 名古屋大学 [著][松原洋]2003-2004<Y151-H15540115>
National Diet Library
  • Subject Heading公理的集合論

巨大基数的性質を持っているイデアルの研究

巨大基数的性質を持っているイデアルの研究
Paper図書
松原, 洋, 名古屋大学2001-2002<Y151-H13640113>
National Diet Library
  • Subject Heading公理的集合論

公理論的集合論 (数学基礎論シリーズ ; 2巻)

公理論的集合論 (数学基礎論シリーズ ; 2巻)
Paper図書
倉田令二朗, 篠田寿一 著河合文化教育研究所1996.3<MA41-G21>
National Diet LibraryOther Libraries in Japan
  • Subject Heading公理的集合論

新編・形式論理と公理論的集合論入門

新編・形式論理と公理論的集合論入門
PaperDigital図書
福島正久 著ロアジス出版1995.4<MA41-E93>
National Diet LibraryOther Libraries in Japan
  • Subject Heading集合論 公理的集合論
  • Authority（Subject Heading/broader/narrower）公理的集合論 順序 集合論 測度論 選出公理 束論 ファジー理論 離散数...

形式論理と公理論的集合論入門 上巻 第4版(新版)

形式論理と公理論的集合論入門 上巻 第4版(新版)
PaperDigital図書
福島正久 著ロアジス出版1991.6<MA41-E53>
National Diet Library
  • Subject Heading集合論 公理的集合論
  • Authority（Subject Heading/broader/narrower）公理的集合論 順序 集合論 測度論 選出公理 束論 ファジー理論 離散数...

無限ラムゼイ理論と実数の組合せ論

無限ラムゼイ理論と実数の組合せ論
Digital文書・図像類
依岡, 輝幸静岡大学2017-06-15
Other Libraries in Japan
  • Subject Heading公理的集合論 強制法理論

形式論理と公理論的集合論入門 増補版([1989]改訂)

形式論理と公理論的集合論入門 増補版([1989]改訂)
PaperDigital図書
福島正久 著ロアジス出版1989.4<MA41-E22>
National Diet Library
  • Subject Heading集合論 公理的集合論
  • Authority（Subject Heading/broader/narrower）公理的集合論 順序 集合論 測度論 選出公理 束論 ファジー理論 離散数...

帰納的関数論の総合的研究

帰納的関数論の総合的研究
Paper図書
篠田, 壽一, 名古屋大学1994-1995<Y151-H06302014>
National Diet Library
  • Subject Heading帰納的関数 計算量 ブール値モデル 公理的集合論 超準解析

形式論理と公理論的集合論入門 第2版(増補改訂)

形式論理と公理論的集合論入門 第2版(増補改訂)
PaperDigital図書
福島正久 著ロアジス出版1988.5<MA41-E15>
National Diet LibraryOther Libraries in Japan
  • Subject Heading集合論 公理的集合論
  • Authority（Subject Heading/broader/narrower）公理的集合論 順序 集合論 測度論 選出公理 束論 ファジー理論 離散数...

無限集合の組合せ論と強制法理論による公理的集合論の他分野への応用

無限集合の組合せ論と強制法理論による公理的集合論の他分野への応用
Digital文書・図像類
依岡, 輝幸静岡大学2013-06-01
Other Libraries in Japan
  • Subject Heading公理的集合論 強制法

形式論理と公理論的集合論入門

形式論理と公理論的集合論入門
PaperDigital図書
福島正久 著オアシス出版1987.4<MA41-E6>
National Diet LibraryOther Libraries in Japan
  • Subject Heading集合論 公理的集合論
  • Authority（Subject Heading/broader/narrower）公理的集合論 順序 集合論 測度論 選出公理 束論 ファジー理論 離散数...

公理論的集合論 (共立講座現代の数学 ; 2)

公理論的集合論 (共立講座現代の数学 ; 2)
PaperDigital図書障害者向け資料あり
西村敏男, 難波完爾 著共立出版1985.4<MA41-101>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Subject Heading公理的集合論

アレフ1上の組合せ的命題の独立性と強制法理論

アレフ1上の組合せ的命題の独立性と強制法理論
Digital文書・図像類
依岡, 輝幸静岡大学2011-05-30
Other Libraries in Japan
  • Subject Heading公理的集合論

計算科学と複雑システム

計算科学と複雑システム
Paper図書
田中, 俊一, 九州大学1990-1991<Y151-H02452010>
National Diet Library
  • Subject Heading複雑システム 形式的方法 公理的集合論 並行性 超準解析

現代数学レクチャーズ B 10

現代数学レクチャーズ B 10
PaperDigital図書障害者向け資料あり
培風館1982.10<MA21-124>
National Diet LibraryOther Libraries in Japan
  • Contents参考書：ｐ２３５〜２３６ 公理的集合論 田中尚夫 著 巻末：参考書
  • Subject Heading公理的集合論
  • Additional Title公理的集合論

An introduction to independence for analysts / H.G. Dales and W.H. Woodin. (London Mathematical Society lecture note series)

An introduction to independence for analysts / H.G. Dales and W.H. Woodin. (London Mathematical Society lecture note series)
Paper図書
Cambridge University Press1987.<MA41-A36>
National Diet Library
  • Subject Headingモデルの理論. 選出公理. 公理的集合論. Forcing (Model theory) Indep...

Consequences of Martin's axiom / D.H. Fremlin. (Cambridge tracts in mathematics ; 84)

Consequences of Martin's axiom / D.H. Fremlin. (Cambridge tracts in mathematics ; 84)
Paper図書
Cambridge University Press1984.<MA41-A10>
National Diet Library
  • Subject Heading公理的集合論. 記号論理学. 組合せ論. トポロジー. Martin's...

公理的集合論入門

公理的集合論入門
PaperDigital図書障害者向け資料あり
レモン 著, 石本新, 高橋敬吾 訳東京図書1972<MA41-34>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Subject Heading公理的集合論
RSS