Paradoxes Between Truth and Proof - Synthese Library -  - Libros - Springer International Publishing AG - 9783031745263 - 5 de diciembre de 2024
En caso de que portada y título no coincidan, el título será el correcto

Paradoxes Between Truth and Proof - Synthese Library 2024 edition

Precio
$ 148,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 28 de sep. - 9 de oct.
Añadir a tu lista de deseos de iMusic

Aún no valorado

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 246 × 165 × 22 mm   ·   584 g
Lengua Alemán  
Editor Petrolo, Mattia
Editor Venturi, Giorgio

Más del mismo editor