Pages that link to "Item:Q3822157"

The following pages link to Ternary Operations as Primitive Notions for Constructive Plane Geometry (Q3822157):

Displaying 3 items.

• A common axiom set for classical and intuitionistic plane geometry (Q1295418) (← links)
• On the constructive geometry of Euclidean planes (Q1969624) (← links)
• Constructivity in Geometry (Q2757990) (← links)