Login / Signup

A New Omitting Types Theorem for L(Q).

Matt Kaufmann
Published in: J. Symb. Log. (1979)
Keyphrases
  • database
  • data sets
  • real time
  • pattern recognition
  • control system
  • multiple types
  • von neumann