Gå direkt till innehållet
Paradoxes Between Truth and Proof
Spara

Paradoxes Between Truth and Proof

inbunden, 2024
Engelska
Lägsta pris på PriceRunner
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.
Upplaga
2024 ed.
ISBN
9783031745263
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
2024-12-05
Sidor
299