scientific article; zbMATH DE number 3645049

MaRDI QIDQ3050397zbMATH OpenFDO

Authors Yu. I. Yanov

Publication date 1977

zbMATH Keywords

computabilityPresburger arithmeticconstruction of arithmetic formulas

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

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 Q3050397)