The algebraic treatment of the methodology of elementary deductive systems (Q766673): Difference between revisions

@@ Property / cites work @@
+The completeness of the first-order functional calculus
+Normal rank
@@ Property / cites work @@
+Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel
+Normal rank
@@ Property / cites work @@
+An algebraic proof of completeness for the two-valued propositional calculus
+Normal rank
@@ Property / cites work @@
+On the categoricity in power of elementary deductive systems and some related problems
+Normal rank
@@ Property / cites work @@
+On the application of Tychonoff's theorem in mathematical proofs
+Normal rank
@@ Property / cites work @@
+Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip
+Normal rank
@@ Property / cites work @@
+A proof of the completeness theorem of Grödel
@@ Property / cites work: A proof of the completeness theorem of Grödel / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of the functional calculus of first order
+Normal rank
@@ Property / cites work @@
+The Theory of Representation for Boolean Algebras
@@ Property / cites work: The Theory of Representation for Boolean Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Grundzüge der Systemenkalküls I
@@ Property / cites work: Grundzüge der Systemenkalküls I / rank @@
+Normal rank