Proof-theoretic analysis by iterated reflection

Cached

Download Links

by L. D. Beklemishev
Venue:Arch. Math. Logic
Citations:3 - 1 self