ROSOLINI, GIUSEPPE
ROSOLINI, GIUSEPPE
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
---|---|---|---|---|---|
Relating quotient completions via categorical logic. | 2016 | MAIETTI, MARIA EMILIAROSOLINI, GIUSEPPE | - | - | Concepts of Proof in Mathematics, Philosophy, and Computer Science |