Leon Henkin (Q3454796): Difference between revisions

@@ Property / cites work @@
+Q5825229
@@ Property / cites work: Q5825229 / rank @@
+Normal rank
@@ Property / cites work @@
+Tarski's conception of logic
@@ Property / cites work: Tarski's conception of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Steps toward a constructive nominalism
@@ Property / cites work: Steps toward a constructive nominalism / 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 @@
+Banishing the rule of substitution for functional variables
+Normal rank
@@ Property / cites work @@
+Some notes on nominalism
@@ Property / cites work: Some notes on nominalism / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of the concept of <i>ω</i>-consistency
+Normal rank
@@ Property / cites work @@
+Q3235796
@@ Property / cites work: Q3235796 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3259696
@@ Property / cites work: Q3259696 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of the concept of<i>ω</i>-completeness
+Normal rank
@@ Property / cites work @@
+On Mathematical Induction
@@ Property / cites work: On Mathematical Induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5731900
@@ Property / cites work: Q5731900 / 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 @@
+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 @@
+Mathematical Foundations for Mathematics
@@ Property / cites work: Mathematical Foundations for Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Equality
@@ Property / cites work: The Logic of Equality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847974
@@ Property / cites work: Q4847974 / 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 @@
+Q5732648
@@ Property / cites work: Q5732648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616133
@@ Property / cites work: Q5616133 / rank @@
+Normal rank
@@ Property / cites work @@
+In Memoriam: Leon Albert Henkin 1921–2006
@@ Property / cites work: In Memoriam: Leon Albert Henkin 1921–2006 / rank @@
+Normal rank
@@ Property / cites work @@
+On Universals
@@ Property / cites work: On Universals / rank @@
+Normal rank