scientific article
From MaRDI portal
Publication:2736254
zbMath0988.03008MaRDI QIDQ2736254
Publication date: 29 August 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability (number-theoretic aspects) (11U05) History of mathematics in the 20th century (01A60) History of number theory (11-03) Decidability of theories and sets of sentences (03B25) History of mathematical logic and foundations (03-03) Recursively (computably) enumerable sets and degrees (03D25)
This page was built for publication: