アウトレット *裁断済み* 数理論理学・数学基礎論・証明論・モデル理論・型理論・ラムダ計算論

  • 商品説明・詳細

  • 送料・お届け

商品情報

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



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

残り 6 15,000円

(567 ポイント還元!)

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

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

  • ラッピング
    ラッピング
希望しない
希望する ( +600円 )
希望しない
数量
同時に5点までのご購入が可能です。
お気に入りに保存

対応決済方法

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

大量注文に関して

30個以上かつ10万円以上のご購入はこちらからお問い合わせください

お問い合わせはこちらから