von Plato, J. A constructive theory of ordered affine geometry. (English) Zbl 0926.51014 Indag. Math., New Ser. 9, No. 4, 549-562 (1998). Reviewer: M.Stroppel (Stuttgart) MSC: 51G05 03F65 03B30 03F55 × Cite Format Result Cite Review PDF Full Text: DOI
von Plato, Jan The axioms of constructive geometry. (English) Zbl 0836.03034 Ann. Pure Appl. Logic 76, No. 2, 169-200 (1995). Reviewer: V.V.Pambuccian (Phoenix) MSC: 03F65 03B30 03F55 51A05 51A15 51F20 × Cite Format Result Cite Review PDF Full Text: DOI