Login / Signup

Formalization of Hilbert's Geometry of incidence and Parallelism.

Jan von Plato
Published in: Synth. (1997)
Keyphrases