DOI10.1007/BF01973340zbMath0169.01201MaRDI QIDQ5555687
Walburga Rödding
Publication date: 1968 Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave) Full work available at URL: https://eudml.org/doc/137804
zbMATH Keywords
recursion theory, constructive mathematics
Cites Work