ÜBER DIE ELIMINIERBARKEIT VON DEFINITIONSSCHEMATA IN DER THEORIE DER REKURSIVEN FUNKTIONEN
- 1 January 1964
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 10 (18) , 315-330
- https://doi.org/10.1002/malq.19640101806
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Aufzählbarkeit, Entscheidbarkeit, BerechenbarkeitPublished by Springer Nature ,1961
- Die Widerspruchsfreiheit der allgemeinen MengenlehreMathematische Annalen, 1937