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