Extensions of Gödel's completeness theorem and the Löwenheim-Skolem theorem.

Stephen L. Bloom

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

Keyphrases

case study
von neumann
real time
real world
machine learning
artificial intelligence
search engine
bayesian networks
digital libraries