We stand with Ukraine  

Leon Henkin

Affiliations:
  • University of California, Berkeley, USA


According to our database1, Leon Henkin authored at least 13 papers between 1949 and 1996.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

1996
The discovery of my completeness proofs.
[BibTeX]
[DOI]
Leon Henkin
Bull. Symb. Log., 1996

1986
Representable cylindric algebras.
[BibTeX]
[DOI]
Leon Henkin
,
J. Donald Monk
,
Alfred Tarski
Ann. Pure Appl. Log., 1986

1963
An Extension of the Craig-Lyndon Interpolation Theorem.
[BibTeX]
[DOI]
Leon Henkin
J. Symb. Log., 1963

1957
A Generalization of the Concept of omega-Completeness.
[BibTeX]
[DOI]
Leon Henkin
J. Symb. Log., 1957

1956
On the Definition of 'Formal Deduction'.
[BibTeX]
[DOI]
Richard Montague
,
Leon Henkin
J. Symb. Log., 1956

Two Concepts From the Theory of Models.
[BibTeX]
[DOI]
Leon Henkin
J. Symb. Log., 1956

1954
A Generalization of the Concept of |omega-Consistency.
[BibTeX]
[DOI]
Leon Henkin
J. Symb. Log., 1954

1953
Banishing the Rule of Substitution for Functional Variables.
[BibTeX]
[DOI]
Leon Henkin
J. Symb. Log., 1953

Some Notes on Nominalism.
[BibTeX]
[DOI]
Leon Henkin
J. Symb. Log., 1953

1952
Problems.
[BibTeX]
[DOI]
Heinrich Scholz
,
Georg Kreisel
,
Leon Henkin
J. Symb. Log., 1952

1950
Completeness in the Theory of Types.
[BibTeX]
[DOI]
Leon Henkin
J. Symb. Log., 1950

1949
The Completeness of the First-Order Functional Calculus.
[BibTeX]
[DOI]
Leon Henkin
J. Symb. Log., 1949

Fragments of the Propositional Calculus.
[BibTeX]
[DOI]
Leon Henkin
J. Symb. Log., 1949


  Loading...