DOI10.3792/pja/1195521328zbMath0191.30402MaRDI QIDQ5585405
Moto-o Takahashi
Publication date: 1968 Published in: Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave) Full work available at URL: https://doi.org/10.3792/pja/1195521328
zbMATH Keywords
recursion theory, constructive mathematics
Cites Work