Erratum to: ``Between proof and truth'' (Q383075): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11229-011-0043-1
+Normal rank
@@ Property / OpenAlex ID @@
+W1966594406
@@ Property / OpenAlex ID: W1966594406 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics of evidence for classical arithmetic
@@ Property / cites work: A semantics of evidence for classical arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4088782
@@ Property / cites work: Q4088782 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3593497
@@ Property / cites work: Q3593497 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691485
@@ Property / cites work: Q5691485 / rank @@
+Normal rank
@@ Property / cites work @@
+Dependent choice, `quote' and the clock
@@ Property / cites work: Dependent choice, `quote' and the clock / rank @@
+Normal rank
@@ Property / cites work @@
+On Godel Sentences and What They Say
@@ Property / cites work: On Godel Sentences and What They Say / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation
+Normal rank
@@ Property / cites work @@
+Games in Dynamic-Epistemic Logic
@@ Property / cites work: Games in Dynamic-Epistemic Logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:383075