Formalizing Scientifically Applicable Mathematics in a Definitional Framework (Q5195269): Difference between revisions

@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Constructibility and decidability versus domain independence and absoluteness
+Normal rank
@@ 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 @@
+Q3075245
@@ Property / cites work: Q3075245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5417200
@@ Property / cites work: Q5417200 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis, II: Representations of ordinals
+Normal rank
@@ Property / cites work @@
+Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
+Normal rank
@@ Property / cites work @@
+Q4085724
@@ Property / cites work: Q4085724 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803101
@@ Property / cites work: Q3803101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256417
@@ Property / cites work: Q4256417 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3708229
@@ Property / cites work: Q3708229 / rank @@
+Normal rank
@@ Property / cites work @@
+The fine structure of the constructible hierarchy
@@ Property / cites work: The fine structure of the constructible hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs. 2nd print
+Normal rank
@@ Property / cites work @@
+Q4189277
@@ Property / cites work: Q4189277 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229041
@@ Property / cites work: Q4229041 / rank @@
+Normal rank
@@ Property / cites work @@
+Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Q3685233
@@ Property / cites work: Q3685233 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3749382
@@ Property / cites work: Q3749382 / rank @@
+Normal rank