yr 〜
yr

Search results 23

計算理論と数理論理学

計算理論と数理論理学
Paper図書
田中一之 著共立出版2022.6<MA41-M44>
National Diet LibraryOther Libraries in Japan
  • Author Heading田中, 一之, 1955-

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

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

山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌

山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌
PaperDigital図書
田中一之 著, バラマツヒトミ 絵日本評論社2019.12<MA41-M18>
National Diet LibraryOther Libraries in Japan
  • Author Heading田中, 一之, 1955- バラマツ, ヒトミ

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

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

スマリヤン数理論理学講義 下巻

スマリヤン数理論理学講義 下巻
Paper図書
レイモンド・M・スマリヤン 著, 田中一之 監訳, 川辺治之 訳日本評論社2018.9<MA41-L89>
National Diet LibraryOther Libraries in Japan
  • Author HeadingSmullyan, Raymond M, 1919-2017 田中, 一之, 1955- 川辺, 治之

スマリヤン数理論理学講義 上巻

スマリヤン数理論理学講義 上巻
Paper図書
レイモンド・M・スマリヤン 著, 田中一之 監訳, 川辺治之 訳日本評論社2017.9<MA41-L70>
National Diet LibraryOther Libraries in Japan
  • Author HeadingSmullyan, Raymond M, 1919-2017 田中, 一之, 1955- 川辺, 治之

チューリングと超(メタ)パズル : 解ける問題と解けない問題

チューリングと超(メタ)パズル : 解ける問題と解けない問題
Paper図書
田中一之 著東京大学出版会2013.11<MA41-L19>
National Diet LibraryOther Libraries in Japan
  • Author Heading田中, 一之, 1955-

ゲーデルに挑む : 証明不可能なことの証明

ゲーデルに挑む : 証明不可能なことの証明
Paper図書
田中一之 著東京大学出版会2012.4<MA41-J73>
National Diet LibraryOther Libraries in Japan
  • Author Heading田中, 一之, 1955-

ロジックの世界 : 論理学の哲人たちがあなたの思考を変える (ブルーバックス ; B-1906)

ロジックの世界 : 論理学の哲人たちがあなたの思考を変える (ブルーバックス ; B-1906)
Paper図書児童書
ダン・クライアン, シャロン・シュアティル 文, ビル・メイブリン 絵, 田中一之 訳講談社2015.3<H35-L11>
National Diet LibraryOther Libraries in Japan
  • Author HeadingCryan, Dan Shatil, Sharron Mayblin, Bill 田中, 一之, 1955-

ゲーデルの定理 : 利用と誤用の不完全ガイド

ゲーデルの定理 : 利用と誤用の不完全ガイド
Paper図書
トルケル・フランセーン [著], 田中一之 訳みすず書房2011.3<MA41-J51>
National Diet LibraryOther Libraries in Japan
  • Author HeadingFranzén, Torkel, 1950-2006 田中, 一之, 1955-

集合論とプラトニズム (ゲーデルと20世紀の論理学 ; 4)

集合論とプラトニズム (ゲーデルと20世紀の論理学 ; 4)
Paper図書
田中一之 編東京大学出版会2007.7<MA41-H58>
National Diet LibraryOther Libraries in Japan
  • Author Heading田中, 一之, 1955-

不完全性定理と算術の体系 (ゲーデルと20世紀の論理学 ; 3)

不完全性定理と算術の体系 (ゲーデルと20世紀の論理学 ; 3)
Paper図書
田中一之 編東京大学出版会2007.3<MA41-H46>
National Diet LibraryOther Libraries in Japan
  • Author Heading田中, 一之, 1955-

確かさを求めて : 数学の基礎についての哲学論考

確かさを求めて : 数学の基礎についての哲学論考
Paper図書
M.ジャキント 原著, 田中一之 監訳培風館2007.1<MA41-H43>
National Diet LibraryOther Libraries in Japan
  • Author HeadingGiaquinto, Marcus 田中, 一之, 1955-

ゲーデルの20世紀 (ゲーデルと20世紀の論理学 ; 1)

ゲーデルの20世紀 (ゲーデルと20世紀の論理学 ; 1)
Paper図書
田中一之 編東京大学出版会2006.7<MA41-H38>
National Diet LibraryOther Libraries in Japan
  • Author Heading田中, 一之, 1955-

完全性定理とモデル理論 (ゲーデルと20世紀の論理学 ; 2)

完全性定理とモデル理論 (ゲーデルと20世紀の論理学 ; 2)
Paper図書
田中一之 編東京大学出版会2006.10<MA41-H40>
National Diet LibraryOther Libraries in Japan
  • Author Heading田中, 一之, 1955-

数の体系と超準モデル

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

数学のロジックと集合論

数学のロジックと集合論
Paper図書
田中一之, 鈴木登志雄 共著培風館2003.12<MA41-H10>
National Diet LibraryOther Libraries in Japan
  • Author Heading田中, 一之, 1955- 鈴木, 登志雄, 1965-

超準的手法と構成的手法の比較研究

超準的手法と構成的手法の比較研究
Paper図書
田中一之, 東北大学 [著][田中一之]2001-2003<Y151-H13640098>
National Diet Library
  • Author Heading田中, 一之, 1955- 東北大学

算術と計算の論理構造に関する研究

算術と計算の論理構造に関する研究
Paper図書
田中, 一之, 東北大学1997-1999<Y151-H09440072>
National Diet Library
  • Author Heading田中, 一之, 1955-

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

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