CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE (Q5346689): Difference between revisions

@@ Property / cites work @@
+A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i>
@@ Property / cites work: A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i> / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3567843
@@ Property / cites work: Q3567843 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of Ruler and Compass Constructions
@@ Property / cites work: Logic of Ruler and Compass Constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Proof and Computation in Geometry
@@ Property / cites work: Proof and Computation in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive version of Tarski's geometry
@@ Property / cites work: A constructive version of Tarski's geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q5591514
@@ Property / cites work: Q5591514 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3270252
@@ Property / cites work: Q3270252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799492
@@ Property / cites work: Q4799492 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001973
@@ Property / cites work: Q4001973 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5423215
@@ Property / cites work: Q5423215 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485800
@@ Property / cites work: Q4485800 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3268310
@@ Property / cites work: Q3268310 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3234542
@@ Property / cites work: Q3234542 / rank @@
+Normal rank
@@ Property / cites work @@
+A common axiom set for classical and intuitionistic plane geometry
+Normal rank
@@ Property / cites work @@
+Q5574604
@@ Property / cites work: Q5574604 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5482811
@@ Property / cites work: Q5482811 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3678266
@@ Property / cites work: Q3678266 / rank @@
+Normal rank
@@ Property / cites work @@
+Tarski's System of Geometry
@@ Property / cites work: Tarski's System of Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Q4694208
@@ Property / cites work: Q4694208 / rank @@
+Normal rank
@@ Property / cites work @@
+`Outside' as a primitive notion in constructive projective geometry
+Normal rank
@@ Property / cites work @@
+The axioms of constructive geometry
@@ Property / cites work: The axioms of constructive geometry / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive theory of ordered affine geometry
@@ Property / cites work: A constructive theory of ordered affine geometry / rank @@
+Normal rank