A Macro Program for the Primitive Recursive Functions
From MaRDI portal
Publication:3982860
DOI10.1002/malq.19910370803zbMath0744.03043MaRDI QIDQ3982860
Robert F. Smith, Hilbert Levitz, Warren D. Nichols
Publication date: 26 June 1992
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19910370803
03D20: Recursive functions and relations, subrecursive hierarchies