東京工業大学大岡山キャンパス脇の古本屋が運営するオンライン古書店。古書古本の通信販売と古書古本の出張買取のご案内。
古書古本の出張買取・古書古本の通信販売についてのお問い合わせ
古書古本をクレジットカードでご購入

お振込先金融機関
◆三井住友銀行
◆みずほ銀行
◆ゆうちょ銀行

利用配送会社
◆日本郵便
 ≫ゆうメール
 ≫ゆうパック

配送料全国一律300円
1,500円以上送料無料

発送方法はお任せ下さい

店舗のご案内
東急目黒線・大井町線
大岡山駅より 徒歩2分
東京工業大学正門通り
城南信用金庫 20m先

ふるほん現代屋
〒145-0062
東京都大田区北千束
3丁目33番7号 〔地図

営業時間
(平日)12:00-24:00
(土祝)14:00-24:00
毎週日曜定休

お問い合わせ
0120-55-4646
メールはこちら

大岡山駅前 東工大正門

古書古本買取承ります
学術書 単行本 文庫本
趣味本・雑誌 アダルト

出張買取りいたします
大田区・品川区・目黒区
世田谷区・港区・渋谷区
お宅まで取りに伺います

東京都公安委員会
公認古物商許可証
第302209601184号

古書古本通販サイト
ふるほん現代屋のトップへ

トップページ|古本カテゴリ: 販売済商品数理論理学 現代基礎数学 15
商品詳細
数理論理学 現代基礎数学 15

数理論理学 現代基礎数学 15[1275-2su]

価格: 2,520円 (税込)
定価:3,465円
[古本]状態:並上

著者/訳者名 鹿島亮/著
出版社名 朝倉書店 (ISBN:978-4-254-11765-3)
発行年月 2009年10月
20091117

証明を対象にするとは
自然演繹
論理式の真理値
自然演繹の健全性
自然演繹の完全性
不完全性定理
命題論理
さまざまな証明体系
シークエント計算LKのカット除去
直観主義論理
クリプキモデルと中間論理
本文中で使われている数学的道具の説明