The following pages link to Leon Henkin (Q1064323):
Displaying 50 items.
- Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing (Q1064325) (← links)
- Cylindric algebras. Part II (Q1064326) (← links)
- (Q1170183) (redirect page) (← links)
- Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti (Q1170185) (← links)
- Representable cylindric algebras (Q1821100) (← links)
- Extending Boolean operations (Q2546520) (← links)
- (Q3086771) (← links)
- Are Logic and Mathematics Identical? (Q3095993) (← links)
- (Q3229408) (← links)
- Two concepts from the theory of models (Q3233191) (← links)
- Some notes on nominalism (Q3235795) (← links)
- (Q3235796) (← links)
- (Q3235798) (← links)
- On the definition of ‘formal deduction’ (Q3236671) (← links)
- A generalization of the concept of<i>ω</i>-completeness (Q3248967) (← links)
- (Q3259696) (← links)
- (Q3259697) (← links)
- (Q3847888) (← links)
- (Q3893925) (← links)
- Relativization of cylindric algebras (Q4053651) (← links)
- (Q4054981) (← links)
- (Q4063140) (← links)
- (Q4091892) (← links)
- The Logic of Equality (Q4154535) (← links)
- A Euclidean Construction? (Q4189735) (← links)
- In Memoriam: Raphael Mitchel Robinson (Q4858807) (← links)
- The Discovery of My Completeness Proofs (Q4897039) (← links)
- (Q5330619) (← links)
- A theory of prepositional types (Q5332209) (← links)
- (Q5525312) (← links)
- (Q5526939) (← links)
- (Q5537625) (← links)
- (Q5549024) (← links)
- (Q5557883) (← links)
- On Mathematical Induction (Q5599147) (← links)
- (Q5599163) (← links)
- (Q5616133) (← links)
- Mathematical Foundations for Mathematics (Q5620571) (← links)
- An extension of the Craig-Lyndon interpolation theorem (Q5623651) (← links)
- (Q5681997) (← links)
- (Q5731900) (← links)
- (Q5732647) (← links)
- (Q5732648) (← links)
- The completeness of the first-order functional calculus (Q5791200) (← links)
- Fragments of the propositional calculus (Q5791203) (← links)
- Completeness in the theory of types (Q5798021) (← links)
- An algebraic characterization of quantifiers (Q5802118) (← links)
- A Problem on Inverse Mapping Systems (Q5802802) (← links)
- Some Interconnections Between Modern Algebra and Mathematical Logic (Q5817393) (← links)
- Banishing the rule of substitution for functional variables (Q5822062) (← links)
