Induction rules, reflection principles, and provably recursive functions

Files

preprint146.pdf (645.34 KB)

Publication date

1995-10-10

Authors

Beklemishev, L.D.

Document Type

Preprint

Metadata

Show full item record

Collections

Utrecht University Repository

URI

http://hdl.handle.net/1874/26683