scientific article; zbMATH DE number 1852931
From MaRDI portal
Publication:4789461
zbMATH Open1003.03533MaRDI QIDQ4789461FDOQ4789461
Authors: Dirk van Dalen 
Publication date: 29 January 2003
Title of this publication is not available (Why is that?)
Decidability of theories and sets of sentences (03B25) Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory (03Dxx)
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 Q4789461)
