Parameter free induction and provably total computable functions

From MaRDI portal
Publication:1960416

DOI10.1016/S0304-3975(98)00305-3zbMath0930.03082MaRDI QIDQ1960416

Lev D. Beklemishev

Publication date: 12 January 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)




Related Items



Cites Work