Weak theories of nonstandard arithmetic and analysis (2001)

Cached

Download Links

by Jeremy Avigad
Venue:Reverse Mathematics
Citations:7 - 5 self