Paradoxes Between Truth and Proof - Synthese Library -  - Grāmatas - Springer International Publishing AG - 9783031745263 - 2024. gada 5. decembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Paradoxes Between Truth and Proof - Synthese Library 2024 edition


Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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.

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2024. gada 5. decembris
ISBN13 9783031745263
Izdevēji Springer International Publishing AG
Lapas 299
Izmēri 150 × 220 × 20 mm   ·   607 g
Valoda Vācu  
Redaktors Petrolo, Mattia
Redaktors Venturi, Giorgio

Vairāk no tā paša izdevēja