scientific article; zbMATH DE number 3561330
From MaRDI portal
Publication:4133966
zbMATH Open0361.02060MaRDI QIDQ4133966FDOQ4133966
Authors: Ivan Korec 
Publication date: 1977
Title of this publication is not available (Why is that?)
Decidability of theories and sets of sentences (03B25) Recursively (computably) enumerable sets and degrees (03D25) Recursive functions and relations, subrecursive hierarchies (03D20)
Cited In (1)
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 Q4133966)
