Login / Signup

Nonstandard Definability.

Stuart T. Smith
Published in: Ann. Pure Appl. Log. (1989)
Keyphrases
  • fixed point
  • propositional logic
  • finite model theory
  • database
  • knowledge base
  • probability distribution