scientific article; zbMATH DE number 3169943

MaRDI QIDQ3288579zbMATH OpenFDO

Authors Zenon Piesyk

Publication date 1961

zbMATH Keywords

foundations of geometry, non-Euclidean geometry

Cited in

(2)

• Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq
• The parallel postulate

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3288579)