scientific article; zbMATH DE number 1342349
From MaRDI portal
Publication:4263947
zbMATH Open1125.11302MaRDI QIDQ4263947FDOQ4263947
Publication date: 22 September 1999
Title of this publication is not available (Why is that?)
History of computer science (68-03) History of mathematical logic and foundations (03-03) Decidability of theories and sets of sentences (03B25) History of number theory (11-03) Undecidability and degrees of sets of sentences (03D35) Decidability (number-theoretic aspects) (11U05)
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 Q4263947)
