ようこそ ゲスト さん
ヘルプ
入力補助
English
OPAC
図書館サービス
図書新着案内
雑誌最新巻号案内
AV資料新着案内
雑誌タイトルリスト
AV資料タイトルリスト
指定図書(準備中)
ベストリーディング
利用者サービス
MYOPAC
北科大図書館
北科大HP
簡易検索:
蔵書検索
CiNii
JAIRO
CiNii Books
+詳細検索
印刷
メール送信
ファイル出力
Tweet
他の検索サイト
Webcat Plus
CiNii Books
国立国会図書館サーチ
Google
Google Books
Google Scholar
カンゼンセイ テイリ ト モデル リロン
完全性定理とモデル理論 / 田中一之編
(
ゲーデルと20世紀の論理学 (ロジック) / 田中一之編
;
2
)
データ種別
図書
出版者
東京 : 東京大学出版会
出版年
2006.10
本文言語
日本語
大きさ
xii, 286p : 肖像, 挿図 ; 22cm
所蔵情報を非表示
配架場所
巻 次
請求記号
登録番号
状 態
ISBN
資料種別
利用注記
請求メモ
予約
2F書庫1-和書
410.9/Ta84
010420306
4130640968
図書
書誌詳細を非表示
別書名
その他のタイトル:Completeness theorem and model theory
一般注記
欧文タイトルは標題紙裏による
参考文献: 各部末
著者標目
田中, 一之
<タナカ, カズユキ>
件 名
BSH:
Gödel, Kurt
BSH:
数学基礎論
--
歴史
全ての件名で検索
BSH:
記号論理学
--
歴史
全ての件名で検索
分 類
NDC8:
410.9
NDC9:
410.9
書誌ID
1000093960
ISBN
4130640968
類似資料
1
ゲーデルの20世紀 / 田中一之編
2
集合論とプラトニズム / 田中一之編
3
数学の言葉と論理 / 渡辺治 [ほか] 著
4
不完全性定理と算術の体系 / 田中一之編
5
知的エージェントのための集合と論理 / 中島秀之著
6
数理基礎論講義 : 論理・集合・位相 / 金子晃著
7
数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より / 田中一之編・監訳
8
集合・写像・論理 : 数学の基本を学ぶ / 中島匠一著
9
決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳
10
数学・基礎の基礎 / 廣瀬健著
ページトップ
図書館サービス
‐
図書新着案内
‐
雑誌最新巻号案内
‐
AV資料新着案内
‐
雑誌タイトルリスト
‐
AV資料タイトルリスト
‐
指定図書(準備中)
‐
ベストリーディング
利用者サービス
‐
MYOPAC