scientific article; zbMATH DE number 3587008
From MaRDI portal
Publication:4156760
zbMATH Open0377.02020MaRDI QIDQ4156760FDOQ4156760
Authors: A. M. Levin
Publication date: 1977
Title of this publication is not available (Why is that?)
Decidability of theories and sets of sentences (03B25) General logic (03B99) Nonstandard arithmetic (number-theoretic aspects) (11U10) Nonstandard models (03H99)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4156760)