Alfred Tarski and Undecidable Theories.

George F. McNulty

Published in: J. Symb. Log. (1986)

Keyphrases

sufficient conditions
information systems
defeasible logic
web services
bayesian networks
datalog programs
intelligent design