HOME

＊裁断済み＊数理論理学・数学基礎論・証明論・モデル理論・型理論・ラムダ計算論オンライン

Name: ＊裁断済み＊ 数理論理学・数学基礎論・証明論・モデル理論・型理論・ラムダ計算論 オンライン
Brand: ＊裁断済み＊
SKU: C494143801
Price: 15000 JPY
Availability: InStock
Rating: 4.9 (52 reviews)

商品説明・詳細
送料・お届け

商品情報

こちらの商品は裁断済みとなります。

A Course in Mathematical Logic by John L. Bell

Logic and Structure 5th edition by Dirk Van Dalen

An Introduction to Non-Classical Logic 2nd edition by Graham Priest

数学と論理難波莞爾著

現代論理学安井邦夫著

論理学をつくるマーカーで線引きあり小口汚れあり戸田山和久著

数学基礎論増補版新井敏康著

数学基礎論前原昭二著

数学基礎論入門前原昭二著

Introduction to Metamathematics by Stephen Cole Kleene

Proof Theory 2nd edition by Gaisi Takeuti

Model Theory for Beginners by Roman Kossak

Model Theory 3rd edition by Chen Chung Chang

The Lambda Calculus, its Syntax and Semantics by Henk Barendregt

Type Theory and Formal Proof: An Introduction by Rob Nederpelt Herman Geuvers

残り 2 点 15,000円

（967 ポイント還元！）

翌日お届け可（営業日のみ） ※一部地域を除く

お届け日: 12月18日〜指定可お届け日: (明日10:00のご注文まで)

ラッピング

対応決済方法

クレジットカード
コンビニ前払い決済
代金引換: 商品到着と引き換えにお支払いいただけます。 (送料を含む合計金額が￥288,431 まで対応可能)
ペイジー前払い決済(ATM/ネットバンキング): 以下の金融機関のATM/ネットバンクからお支払い頂けます
みずほ銀行、三菱ＵＦＪ銀行、三井住友銀行
りそな銀行、ゆうちょ銀行、各地方銀行
Amazon Pay(Amazonアカウントでお支払い)