In Memoriam: Leon Albert Henkin 1921–2006 (Q3398617): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2178/bsl/1246453978
+Normal rank
@@ Property / OpenAlex ID @@
+W2044424528
@@ Property / OpenAlex ID: W2044424528 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations for Mathematics
@@ Property / cites work: Mathematical Foundations for Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Banishing the rule of substitution for functional variables
+Normal rank
@@ Property / cites work @@
+Extending Boolean operations
@@ Property / cites work: Extending Boolean operations / rank @@
+Normal rank
@@ Property / cites work @@
+Some notes on nominalism
@@ Property / cites work: Some notes on nominalism / rank @@
+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 @@
+The completeness of the first-order functional calculus
+Normal rank
@@ Property / cites work @@
+An extension of the Craig-Lyndon interpolation theorem
+Normal rank
@@ Property / cites work @@
+Fragments of the propositional calculus
@@ Property / cites work: Fragments of the propositional calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Are Logic and Mathematics Identical?
@@ Property / cites work: Are Logic and Mathematics Identical? / rank @@
+Normal rank
@@ Property / cites work @@
+On Mathematical Induction
@@ Property / cites work: On Mathematical Induction / 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 @@
+A generalization of the concept of<i>ω</i>-completeness
+Normal rank
@@ Property / cites work @@
+In Memoriam: Raphael Mitchel Robinson
@@ Property / cites work: In Memoriam: Raphael Mitchel Robinson / rank @@
+Normal rank
@@ Property / cites work @@
+Representable cylindric algebras
@@ Property / cites work: Representable cylindric algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On the definition of ‘formal deduction’
@@ Property / cites work: On the definition of ‘formal deduction’ / rank @@
+Normal rank
@@ Property / cites work @@
+Two concepts from the theory of models
@@ Property / cites work: Two concepts from the theory of models / rank @@
+Normal rank
@@ Property / cites work @@
+A Euclidean Construction?
@@ Property / cites work: A Euclidean Construction? / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Equality
@@ Property / cites work: The Logic of Equality / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of the concept of <i>ω</i>-consistency
+Normal rank