ようこそ ゲスト さん
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
»
スウリ ロンリガク ニュウモン
数理論理学入門 / 入江盛一著
データ種別
図書
出版者
東京 : 培風館
出版年
1973
大きさ
166p ; 22cm
所蔵情報を非表示
巻 次
配架場所
自動書庫
請求記号
登録番号
状 態
コメント
ISBN
刷 年
予約
コース・リザーブ
ASRS
411/Ir64s
02764306
書誌詳細を非表示
著者標目
入江, 盛一
<イリエ,セイイチ>
件 名
数学基礎論
記号論理学
分 類
NDC:
411
書誌ID
1001042415
NCID
BN01374497
類似資料
1
数理論理学 : 数学的理論の論理的構造 / 前原昭二著
2
現代数理論理学入門 / J. N. クロスリー他著 ; 田中尚夫訳
3
ゲーデルの20世紀
4
完全性定理とモデル理論
5
ルイス・キャロルの知的ゲーム / ルイス・キャロル[著] ; 鈴木瑠璃子,長島富太郎編訳
6
数の体系と超準モデル / 田中一之著
7
束と論理
8
証明論と計算量 / 竹内外史著
9
数学基礎論序説 / R. L. ワイルダー著 ; 吉田洋一訳
10
数学基礎論の世界 : ロジックの雑誌帳から / 竹内外史著