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

Paradoxes Between Truth and Proof

inbunden, 2024
Engelska
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
5.12.2024
Sidor
299