Axiomatizing perpendicularity and parallelism

From MaRDI portal
Publication:2912901