Argomento | Persone | Descrizione |
---|---|---|
Teoria della dimostrazione e teoria dei tipi |
Ugo Solitro
Margherita Zorzi |
Sistemi deduttivi e di tipo basati su logiche costruttive e sulla logica lineare |
Strada le Grazie 15
37134 Verona
Partita IVA01541040232
Codice Fiscale93009870234
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>