Henkin's Completeness Proof: Forty Years Later.

Hugues Leblanc Peter Roeper Michael Thau George Weaver

Published in: Notre Dame J. Formal Log. (1991)

Keyphrases

theorem proving
data sets
proof planning
database
real time
e learning
data structure
search algorithm
probability distribution
linear logic