Tell your friends about this item:
Paradoxes Between Truth and Proof - Synthese Library 2024 edition
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.
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | December 5, 2024 |
| ISBN13 | 9783031745263 |
| Publishers | Springer International Publishing AG |
| Pages | 299 |
| Dimensions | 150 × 220 × 20 mm · 607 g |
| Language | German |
| Editor | Petrolo, Mattia |
| Editor | Venturi, Giorgio |