Rereading Gentzen
Vol. 137/1-2
Jan von Plato
Formalization of Hilbert's geometry of incidence and parallelism
Vol. 110/1
Band
Titel
Autor/in