Login / Signup
The Completeness of the First-Order Functional Calculus.
Leon Henkin
Published in:
J. Symb. Log. (1949)
Keyphrases
</>
term rewriting
first order logic
real time
higher order
neural network
data model
database
databases
social networks
information systems
theorem proving
horn clauses
real numbers
provably correct
inductive logic programming systems