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