Completeness of the functional calculus of first order (Q766671): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5806806
@@ Property / cites work: Q5806806 / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of the first-order functional calculus
+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 @@
+A proof of the Skolem-Löwenheim Theorem
@@ Property / cites work: A proof of the Skolem-Löwenheim Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Über den auf Alternative und Negation aufgebauten Aussagenkalkül
+Normal rank