Paradoxes Between Truth and Proof - Synthese Library -  - 書籍 - Springer International Publishing AG - 9783031745263 - 2024年12月5日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Paradoxes Between Truth and Proof - Synthese Library 2024 edition

価格
¥ 23.031
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月14日 - 年10月26日
iMusicのウィッシュリストに追加

まだ評価がありません

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

同じ出版社からのその他の記事