Henkin on Completeness (Q3454811): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-09719-0_12
+Normal rank
@@ Property / OpenAlex ID @@
+W22234975
@@ Property / OpenAlex ID: W22234975 / rank @@
+Normal rank
@@ Property / cites work @@
+A reduction of the axioms for the theory of prepositional types
+Normal rank
@@ Property / cites work @@
+A formulation of the simple theory of types
@@ Property / cites work: A formulation of the simple theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of the first-order functional calculus
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Some notes on nominalism
@@ Property / cites work: Some notes on nominalism / rank @@
+Normal rank
@@ Property / cites work @@
+Banishing the rule of substitution for functional variables
+Normal rank
@@ Property / cites work @@
+An extension of the Craig-Lyndon interpolation theorem
+Normal rank
@@ Property / cites work @@
+A theory of prepositional types
@@ Property / cites work: A theory of prepositional types / rank @@
+Normal rank
@@ Property / cites work @@
+The Discovery of My Completeness Proofs
@@ Property / cites work: The Discovery of My Completeness Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858033
@@ Property / cites work: Q4858033 / rank @@
+Normal rank
@@ Property / cites work @@
+Alonzo church:his life, his work and some of his miracles
+Normal rank
@@ Property / cites work @@
+Completeness: from Gödel to Henkin
@@ Property / cites work: Completeness: from Gödel to Henkin / rank @@
+Normal rank
@@ Property / cites work @@
+Logic based on inclusion and abstraction
@@ Property / cites work: Logic based on inclusion and abstraction / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3454811