ROSOLINI, GIUSEPPE

ROSOLINI, GIUSEPPE  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.002 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