Recomienda este artículo a tus amigos:
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.
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 5 de diciembre de 2024 |
| ISBN13 | 9783031745263 |
| Editores | Springer International Publishing AG |
| Páginas | 299 |
| Dimensiones | 150 × 220 × 20 mm · 607 g |
| Lengua | Alemán |
| Editor | Petrolo, Mattia |
| Editor | Venturi, Giorgio |