scientific article; zbMATH DE number 1261118
From MaRDI portal
Publication:4231579
zbMath0913.03015MaRDI QIDQ4231579
Publication date: 14 March 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability (number-theoretic aspects) (11U05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Decidability of theories and sets of sentences (03B25) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to number theory (11-01)
Related Items (2)
This page was built for publication: