Some results concerning proofs of statements about programs (Q2537129): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3247126
@@ Property / cites work: Q3247126 / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of basic logic
@@ Property / cites work: An extension of basic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive definition of certain analytic sets of numbers
+Normal rank
@@ Property / cites work @@
+Q5588654
@@ Property / cites work: Q5588654 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559538
@@ Property / cites work: Q5559538 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2537129