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,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.
Añadir a tu lista de deseos de 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.

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

Mere med samme udgiver