Induction Rules, Reflection Principles, and Provably Recursive Functions (1996)

Cached

Download Links

by Lev D. Beklemishev
Citations:8 - 3 self