ようこそ
ゲスト
さん
MyLibrary ログイン
ヘルプ
入力補助
English
OPAC
資料案内
新着図書
雑誌最新巻号
雑誌タイトル検索
AV資料リスト
新着書評
MyLibrary
貸出・予約・延滞状況の確認
本の取寄せ・コピーの取寄せ申込み
本の取寄せ・コピーの取寄せ申込み状況照会(2008年4月以降分)
本の購入申込み
本の購入申込み状況照会
本の購入申込み(堀内彩子メモリアル図書資金:学生用)
学生希望図書リクエスト状況照会
パスワード変更
その他
図書館 HP
授業指定図書
ICU Discovery
データベース一覧
ICUリポジトリ
検索結果一覧に戻る
で詳細を確認
CLOSE
この情報を出力する
印刷
メール送信
RefWorks出力
EndNote Basic出力
このページのリンク
コピー
他の検索サイト
Webcat Plus
CiNii Books
国立国会図書館サーチ
Google
Google Books
Google Scholar
CLOSE
»
ヤマ ノ ウエ ノ ロジック ガクエン : フカンゼンセイ テイリ オ メグル 2シュウカン ノ ジュギョウ ニッシ
山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌 / 田中一之著 ; バラマツヒトミ絵
データ種別
図書
出版者
東京 : 日本評論社
出版年
2019.12
本文言語
日本語
大きさ
iv, 242p ; 21cm
目次/あらすじ
所蔵情報を非表示
巻 次
配架場所
自動書庫
請求記号
登録番号
状 態
コメント
ISBN
刷 年
予約
コース・リザーブ
GF: 一般書架
410.9/Ta84
08048584
9784535789135
書誌詳細を非表示
著者標目
田中, 一之
<タナカ, カズユキ>
バラマツ, ヒトミ
<バラマツ, ヒトミ>
件 名
BSH:
不完全性定理
BSH:
記号論理学
分 類
NDC8:
410.9
NDC9:
410.9
NDC10:
410.9
書誌ID
4100094378
ISBN
9784535789135
NCID
BB29552145
類似資料
1
スマリヤン不完全性定理 / Raymond Smullyan[著] ; 川辺治之, 村上祐子訳
2
ゲーデル不完全性発見への道 / 北田均著
3
ゲーデルに挑む : 証明不可能なことの証明 / 田中一之著
4
ゲーデルの定理 : 利用と誤用の不完全ガイド / トルケル・フランセーン [著] ; 田中一之訳
5
不完全性定理 / 菊池誠著
6
論理・集合と位相空間入門 / 栗山憲著
7
論理と集合から始める数学の基礎 / 嘉田勝著
8
数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics / 田中一之著
9
「ラフ集合理論」入門 : “粗い情報"の理論と推論への応用 / 赤間世紀著
1,2
10
集合と位相 / 内田伏一著