Variants of Gödel-Gentzen's double negation translation
Varianti della traduzione della doppia negazione di Gödel-Gentzen
Varianti della traduzione della doppia negazione di Goedel-Gentzen
PIANTAVIGNA, ESTER
2022/2023
Abstract
Variants of Gödel-Gentzen's double negation translationFile in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
tesi_ester_piantavigna_finale (1).pdf
accesso aperto
Dimensione
515.3 kB
Formato
Adobe PDF
|
515.3 kB | Adobe PDF | Visualizza/Apri |
The text of this website © Università degli studi di Padova. Full Text are published under a non-exclusive license. Metadata are under a CC0 License
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/20.500.12608/43088