Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Leon Henkin
The Completeness of the First-Order Functional Calculus
Journal of Symbolic Logic
Philosophy
Logic
Related publications
On Arithmetical Completeness of First-Order Logics of Provability
A Resolution Calculus for First-Order Schemata
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order
ACM SIGPLAN Notices
Computer Science
Completeness and Decidability Results for First-Order Clauses With Indices
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Completeness of Root Vectors of the Cauchy Problem of the First Order Equation With Deviating Argument
PHYSICO-MATHEMATICAL SERIES
A Monotonicity Calculus and Its Completeness
Extracting the Resolution Algorithm From a Completeness Proof for the Propositional Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Strong Completeness of the Lambek Calculus With Respect to Relational Semantics
Banach Center Publications
Completeness for First-Order Properties on Sparse Structures With Algorithmic Applications
