Gå direkte til innholdet
Paradoxes Between Truth and Proof
Spar

Paradoxes Between Truth and Proof

innbundet, 2024
Engelsk
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.
Opplag
2024 ed.
ISBN
9783031745263
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
5.12.2024
Antall sider
299