The road to two theorems of logic (Q1024115): Difference between revisions

@@ Property / DOI @@
-.1007/s11229-008-9353-3
@@ Property / DOI: 10.1007/s11229-008-9353-3 / rank @@
-Normal rank
@@ Property / cites work @@
+Q5824680
@@ Property / cites work: Q5824680 / rank @@
+Normal rank
@@ Property / cites work @@
+On axiomatizability within a system
@@ Property / cites work: On axiomatizability within a system / rank @@
+Normal rank
@@ Property / cites work @@
+Linear reasoning. A new form of the Herbrand-Gentzen theorem
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Bases for first-order theories and subtheories
@@ Property / cites work: Bases for first-order theories and subtheories / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Axiomatizability using additional predicates
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5813180
@@ Property / cites work: Q5813180 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3240238
@@ Property / cites work: Q3240238 / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / DOI @@
+.1007/S11229-008-9353-3
@@ Property / DOI: 10.1007/S11229-008-9353-3 / rank @@
+Normal rank