国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
WebNDLA用(著者名・著作)
項目を閉じる
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1990年代
(5)
2000年代
(8)
2010年代
(9)
2020年代
(1)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(23)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(1)
紙
(23)
マイクロ
記録メディア
すべて解除
絞り込み条件
絞り込み条件
検索結果 23 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
計算理論と数理論理学
計算理論と数理論理学
紙
図書
田中一之 著
共立出版
2022.6
<MA41-M44>
国立国会図書館
全国の図書館
著者標目(識別子)
00541946
数学基礎論序説 : 数の体系への論理的アプローチ
数学基礎論序説 : 数の体系への論理的アプローチ
紙
図書
田中一之 著
裳華房
2019.6
<MA41-M9>
国立国会図書館
全国の図書館
著者標目(識別子)
00541946
逆数学 : 定理から公理を「証明」する
逆数学 : 定理から公理を「証明」する
紙
図書
ジョン・スティルウェル 著, 田中一之 監訳・解説, 川辺治之 訳
森北出版
2019.2
<MA41-M2>
国立国会図書館
全国の図書館
著者標目(識別子)
01003845
00541946
01137123
山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌
山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌
紙
デジタル
図書
田中一之 著, バラマツヒトミ 絵
日本評論社
2019.12
<MA41-M18>
国立国会図書館
全国の図書館
著者標目(識別子)
00541946
01159150
スマリヤン数理論理学講義 下巻
スマリヤン数理論理学講義 下巻
紙
図書
レイモンド・M・スマリヤン 著, 田中一之 監訳, 川辺治之 訳
日本評論社
2018.9
<MA41-L89>
国立国会図書館
全国の図書館
著者標目(識別子)
00457034
00541946
01137123
ロジックの世界 : 論理学の哲人たちがあなたの思考を変える (ブルーバックス ; B-1906)
ロジックの世界 : 論理学の哲人たちがあなたの思考を変える (ブルーバックス ; B-1906)
紙
図書
児童書
ダン・クライアン, シャロン・シュアティル 文, ビル・メイブリン 絵, 田中一之 訳
講談社
2015.3
<H35-L11>
国立国会図書館
全国の図書館
著者標目(識別子)
001199294 001199295 001199297
00541946
スマリヤン数理論理学講義 上巻
スマリヤン数理論理学講義 上巻
紙
図書
レイモンド・M・スマリヤン 著, 田中一之 監訳, 川辺治之 訳
日本評論社
2017.9
<MA41-L70>
国立国会図書館
全国の図書館
著者標目(識別子)
00457034
00541946
01137123
ゲーデルに挑む : 証明不可能なことの証明
ゲーデルに挑む : 証明不可能なことの証明
紙
図書
田中一之 著
東京大学出版会
2012.4
<MA41-J73>
国立国会図書館
全国の図書館
著者標目(識別子)
00541946
チューリングと超(メタ)パズル : 解ける問題と解けない問題
チューリングと超(メタ)パズル : 解ける問題と解けない問題
紙
図書
田中一之 著
東京大学出版会
2013.11
<MA41-L19>
国立国会図書館
全国の図書館
著者標目(識別子)
00541946
ゲーデルの定理 : 利用と誤用の不完全ガイド
ゲーデルの定理 : 利用と誤用の不完全ガイド
紙
図書
トルケル・フランセーン [著], 田中一之 訳
みすず書房
2011.3
<MA41-J51>
国立国会図書館
全国の図書館
著者標目(識別子)
01226119
00541946
確かさを求めて : 数学の基礎についての哲学論考
確かさを求めて : 数学の基礎についての哲学論考
紙
図書
M.ジャキント 原著, 田中一之 監訳
培風館
2007.1
<MA41-H43>
国立国会図書館
全国の図書館
著者標目(識別子)
01076600
00541946
集合論とプラトニズム (ゲーデルと20世紀の論理学 ; 4)
集合論とプラトニズム (ゲーデルと20世紀の論理学 ; 4)
紙
図書
田中一之 編
東京大学出版会
2007.7
<MA41-H58>
国立国会図書館
全国の図書館
著者標目(識別子)
00541946
不完全性定理と算術の体系 (ゲーデルと20世紀の論理学 ; 3)
不完全性定理と算術の体系 (ゲーデルと20世紀の論理学 ; 3)
紙
図書
田中一之 編
東京大学出版会
2007.3
<MA41-H46>
国立国会図書館
全国の図書館
著者標目(識別子)
00541946
ゲーデルの20世紀 (ゲーデルと20世紀の論理学 ; 1)
ゲーデルの20世紀 (ゲーデルと20世紀の論理学 ; 1)
紙
図書
田中一之 編
東京大学出版会
2006.7
<MA41-H38>
国立国会図書館
全国の図書館
著者標目(識別子)
00541946
完全性定理とモデル理論 (ゲーデルと20世紀の論理学 ; 2)
完全性定理とモデル理論 (ゲーデルと20世紀の論理学 ; 2)
紙
図書
田中一之 編
東京大学出版会
2006.10
<MA41-H40>
国立国会図書館
全国の図書館
著者標目(識別子)
00541946
数学のロジックと集合論
数学のロジックと集合論
紙
図書
田中一之, 鈴木登志雄 共著
培風館
2003.12
<MA41-H10>
国立国会図書館
全国の図書館
著者標目(識別子)
00541946
00940637
超準的手法と構成的手法の比較研究
超準的手法と構成的手法の比較研究
紙
図書
田中一之, 東北大学 [著]
[田中一之]
2001-2003
<Y151-H13640098>
国立国会図書館
著者標目(識別子)
00541946
00305371
数の体系と超準モデル
数の体系と超準モデル
紙
図書
田中一之 著
裳華房
2002.4
<MA41-G82>
国立国会図書館
全国の図書館
著者標目(識別子)
00541946
算術と計算の論理構造に関する研究
算術と計算の論理構造に関する研究
紙
図書
田中, 一之, 東北大学
1997-1999
<Y151-H09440072>
国立国会図書館
著者標目(識別子)
00541946
数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える
数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える
紙
図書
[ソーンダース・マックレーン] [ほか著], 田中一之 編・監訳
シュプリンガー・フェアラーク東京
1999.2
<MA41-G49>
国立国会図書館
全国の図書館
著者標目(識別子)
00470835
00541946
もっと見る(21件目~)
書誌情報を一括出力