Über rekursive Strukturen
- 1 June 1974
- journal article
- Published by Springer Nature in Inventiones Mathematicae
- Vol. 23 (2) , 89-95
- https://doi.org/10.1007/bf01405162
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Diophantine Representation of Recursively Enumerable PredicatesPublished by Elsevier ,1971
- Sentences true in all constructive modelsThe Journal of Symbolic Logic, 1960