HYPERSOLVER: A graphical tool for commonsense set theory (Q1357081): Difference between revisions

@@ Property / cites work @@
+Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3993251
@@ Property / cites work: Q3993251 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3807198
@@ Property / cites work: Q3807198 / rank @@
+Normal rank
@@ Property / cites work @@
+Issues in commonsense set theory
@@ Property / cites work: Issues in commonsense set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Hypersets
@@ Property / cites work: Hypersets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992554
@@ Property / cites work: Q3992554 / rank @@
+Normal rank
@@ Property / cites work @@
+Anti-foundation and self-reference
@@ Property / cites work: Anti-foundation and self-reference / rank @@
+Normal rank
@@ Property / cites work @@
+Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
+Normal rank
@@ Property / cites work @@
+Q4951952
@@ Property / cites work: Q4951952 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5623691
@@ Property / cites work: Q5623691 / rank @@
+Normal rank
@@ Property / cites work @@
+DAG—a program that draws directed graphs
@@ Property / cites work: DAG—a program that draws directed graphs / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm for drawing general undirected graphs
+Normal rank
@@ Property / cites work @@
+Q4292811
@@ Property / cites work: Q4292811 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4875400
@@ Property / cites work: Q4875400 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3486548
@@ Property / cites work: Q3486548 / rank @@
+Normal rank