Experimenting with Isabelle in ZF set theory (Q1312157): Difference between revisions

@@ Property / describes a project that uses @@
+Cambridge LCF
@@ Property / describes a project that uses: Cambridge LCF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ETPS
@@ Property / describes a project that uses: ETPS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LCF
@@ Property / describes a project that uses: LCF / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4726218
@@ Property / cites work: Q4726218 / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory in first-order logic: Clauses for Gödel's axioms
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. I: Elements of classical logic
+Normal rank
@@ Property / cites work @@
+Q4739887
@@ Property / cites work: Q4739887 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and Computation
@@ Property / cites work: Logic and Computation / rank @@
+Normal rank
@@ Property / cites work @@
+The foundation of a generic theorem prover
@@ Property / cites work: The foundation of a generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342088
@@ Property / cites work: Q4342088 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1312157