＊裁断済み＊ 数理論理学・数学基礎論・証明論・モデル理論・型理論・ラムダ計算論 自然科学と技術
5
（46件）
タイムセール
999円以上お買上げで代引き手数料無料
商品詳細情報
| 管理番号 | 新品 ：59309453 | 発売日 | 2023/11/14 | 定価 | 15,000円 | 型番 | 59309453 | ||
|---|---|---|---|---|---|---|---|---|---|
| カテゴリ | |||||||||
＊裁断済み＊ 数理論理学・数学基礎論・証明論・モデル理論・型理論・ラムダ計算論 自然科学と技術
こちらの商品は裁断済みとなります。
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
自然科学と技術の製品
わんだらーの製品
