Siirry suoraan sisältöön
Paradoxes Between Truth and Proof
Tallenna

Paradoxes Between Truth and Proof

sidottu, 2024
englanti
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.
Painos
2024 ed.
ISBN
9783031745263
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
5.12.2024
Sivumäärä
299