この商品を友人に教える:
Paradoxes Between Truth and Proof - Synthese Library 2024 edition
価格
¥ 23.031
税抜
遠隔倉庫からの取り寄せ
発送予定日 年10月14日 - 年10月26日
iMusicのウィッシュリストに追加
Paradoxes Between Truth and Proof - Synthese Library
The truth-theoretic tradition stems from Alfred Tarski's solution to the semantic paradoxes, while the proof-theoretic tradition dates back to Dag Prawitz's analysis of set-theoretic paradoxes in terms of structural proof theory.
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 2024年12月5日 |
| ISBN13 | 9783031745263 |
| 出版社 | Springer International Publishing AG |
| ページ数 | 299 |
| 寸法 | 246 × 165 × 22 mm · 584 g |
| 言語 | ドイツ語 |
| 編集者 | Petrolo, Mattia |
| 編集者 | Venturi, Giorgio |