Tajtslin, M. A. Unentscheidbarkeit der elementaren Theorien einiger Klassen von endlichen kommutativen assoziativen Ringen. (Russian) Zbl 0192.05604 Algebra Logika 2, No. 3, 29-51 (1963). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Keywords:recursion theory, constructive mathematics PDFBibTeX XMLCite \textit{M. A. Tajtslin}, Algebra Logika 2, No. 3, 29--51 (1963; Zbl 0192.05604)