Pages that link to "Item:Q638479"
From MaRDI portal
The following pages link to Combinatorial analysis of proofs in projective and affine geometry (Q638479):
Displaying 8 items.
- A constructive real projective plane (Q265603) (← links)
- Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations (Q1788334) (← links)
- Geometric structures on the complement of a projective arrangement (Q2388279) (← links)
- Projective planes over ``Galois'' double numbers and a geometrical principle of complementarity (Q2470592) (← links)
- Generality and existence: quantificational logic in historical perspective (Q2795206) (← links)
- Geometric proofs of Horn and saturation conjectures (Q3367463) (← links)
- Il silenzio delle sirene: La matematica greca antica (Q4983348) (← links)
- Constructibility and Geometry (Q5213630) (← links)