Login / Signup
Submodels and definable points in models of Peano arithmetic.
Zarko Mijajlovic
Published in:
Notre Dame J. Formal Log. (1983)
Keyphrases
</>
information systems
feature points
parameter estimation
computational models
mathematical models