A Combinatorial Analysis of Functions Provably Recursive in $ΙΣ_n$
Fundamenta Mathematicae - Poland
doi 10.4064/fm-130-3-191-213
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 1988
Authors
Publisher
Institute of Mathematics, Polish Academy of Sciences