Analysis in a formal predicative set theory (Q2148788): Difference between revisions

@@ Property / cites work @@
+A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
+Normal rank
@@ Property / cites work @@
+Q3081637
@@ Property / cites work: Q3081637 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing Scientifically Applicable Mathematics in a Definitional Framework
+Normal rank
@@ Property / cites work @@
+Applicable Mathematics in a Minimal Computational Theory of Sets
+Normal rank
@@ Property / cites work @@
+The middle ground-ancestral logic
@@ Property / cites work: The middle ground-ancestral logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2956942
@@ Property / cites work: Q2956942 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
+Normal rank
@@ Property / cites work @@
+Q5804274
@@ Property / cites work: Q5804274 / rank @@
+Normal rank
@@ Property / cites work @@
+A homogeneous system for formal logic
@@ Property / cites work: A homogeneous system for formal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A derivation of number theory from ancestral theory
+Normal rank
@@ Property / cites work @@
+Q4001345
@@ Property / cites work: Q4001345 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank