Finite sets and natural numbers in intuitionistic TT (Q1374211): Difference between revisions

@@ Property / cites work @@
+Arithmetic and the theory of types
@@ Property / cites work: Arithmetic and the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Models of intuitionistic TT and NF
@@ Property / cites work: Models of intuitionistic TT and NF / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003284
@@ Property / cites work: Q4003284 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of set theory. With the collab. of Dirk van Dalen. 2nd rev. ed. Reprint
+Normal rank
@@ Property / cites work @@
+A set of axioms for logic
@@ Property / cites work: A set of axioms for logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145861
@@ Property / cites work: Q4145861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3214891
@@ Property / cites work: Q3214891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5817389
@@ Property / cites work: Q5817389 / rank @@
+Normal rank