scientific article; zbMATH DE number 3536072
From MaRDI portal
Publication:4111553
zbMath0344.02039MaRDI QIDQ4111553
Publication date: 1976
Full work available at URL: https://eudml.org/doc/16773
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability (number-theoretic aspects) (11U05) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25)
Related Items
Twins problem in formal arithmetic ⋮ Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics
This page was built for publication: