Theorie der Numerierungen I
- 1 January 1973
- journal article
- research article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 19 (19-25) , 289-388
- https://doi.org/10.1002/malq.19730191901
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- On the indexing of classes of recursively enumerable setsThe Journal of Symbolic Logic, 1966
- Recursively enumerable classes and their application to recursive sequences of formal theoriesArchive for Mathematical Logic, 1965
- Gödel numberings of partial recursive functionsThe Journal of Symbolic Logic, 1958
- Classes of recursively enumerable sets and their decision problemsTransactions of the American Mathematical Society, 1953