NEGRI, SARA
NEGRI, SARA
100021 - Dipartimento di Matematica
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.006 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Investigations into the Predicate Calculus | 1-gen-2022 | Negri, Sara | |
Proof Analysis: A contribution to Hilbert's last problem | 1-gen-2011 | Negri, S.; Von Plato, J. | |
Structural Proof Theory | 1-gen-2001 | Negri, Sara; von Plato, Jan |