The concept of truth in a finite universe (Q5928928): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4132480
@@ Property / cites work: Q4132480 / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for exponential diophantine equations
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3758820
@@ Property / cites work: Q3758820 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Remarks on Finite Löwenheim‐Skolem Theorems
+Normal rank
@@ Property / cites work @@
+Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
+Normal rank
@@ Property / cites work @@
+Q4332919
@@ Property / cites work: Q4332919 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992465
@@ Property / cites work: Q3992465 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5540438
@@ Property / cites work: Q5540438 / rank @@
+Normal rank
@@ Property / cites work @@
+Undefinability of truth. the problem of priority:tarski vs gödel
+Normal rank
@@ Property / cites work @@
+Theory of Formal Systems. (AM-47)
@@ Property / cites work: Theory of Formal Systems. (AM-47) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003735
@@ Property / cites work: Q4003735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508475
@@ Property / cites work: Q4508475 / rank @@
+Normal rank
@@ Property / cites work @@
+Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5928928