Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic (Q4940735): Difference between revisions

@@ Property / cites work @@
+Husserl and Hilbert on completeness. A neglected chapter in early twentieth century foundations of mathematics
+Normal rank
@@ Property / cites work @@
+The inter-deducibility of the new Hilbert-Bernays theory and Principia mathematica
+Normal rank
@@ Property / cites work @@
+Categoricity
@@ Property / cites work: Categoricity / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert's ``Grundlagen der Geometrie''
@@ Property / cites work: Hilbert's ``Grundlagen der Geometrie'' / rank @@
+Normal rank
@@ Property / cites work @@
+Q3737400
@@ Property / cites work: Q3737400 / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert's logic. From axiomatics to proof theory
@@ Property / cites work: Hilbert's logic. From axiomatics to proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5360209
@@ Property / cites work: Q5360209 / rank @@
+Normal rank