Pastāsti draugiem par šo preci:
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.
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2024. gada 5. decembris |
| ISBN13 | 9783031745263 |
| Izdevēji | Springer International Publishing AG |
| Lapas | 299 |
| Izmēri | 150 × 220 × 20 mm · 607 g |
| Valoda | Vācu |
| Redaktors | Petrolo, Mattia |
| Redaktors | Venturi, Giorgio |