The model-theoretic ordinal analysis of theories of predicative strength (1999)

Cached

Download Links

by Jeremy Avigad , Richard Sommer
Venue:Journal of Symbolic Logic
Citations:4 - 1 self