10% de desconto

Paradoxes Between Truth And Proof eBook

idioma: inglês
Editor: Springer Nature Switzerland, dezembro de 2024 ‧
158,34€
142,51€
10% DESCONTO IMEDIATO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
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.

Paradoxes Between Truth And Proof

Propriedade Descrição
ISBN: 9783031745270
Editor: Springer Nature Switzerland
Data de Lançamento: dezembro de 2024
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade:
Coleção: Synthese Library
Classificação Temática: eBooks em Inglês > Ciências Sociais e Humanas > Filosofia
EAN: 9783031745270
Acessibilidade: Ver características de acessibilidade indicadas pelo editor

LIVROS DA MESMA COLEÇÃO