DOI10.1090/trans2/059/03zbMath0192.05601MaRDI QIDQ5586300
A. V. Kuznetsov
Publication date: 1963 Published in: Twelve Papers on Logic and Algebra (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1090/trans2/059/03
zbMATH Keywords
recursion theory, constructive mathematics
Related Items