Formalization of Hilbert's geometry of incidence and parallelism
Vol. 110/1
Jan von Plato
Rereading Gentzen
Vol. 137/1-2
Volume
Title
Author