Induction rules, reflection principles and provably recursive functions

Files

preprint168.pdf (452.38 KB)

Publication date

1996-06-26

Authors

Beklemishev, L.D.

Document Type

Preprint

Metadata

Show full item record

Collections

Utrecht University Repository

URI

https://dspace.library.uu.nl/handle/1874/26807