The computational content of classical arithmetic (2009)

Cached

Download Links

by Jeremy Avigad
Citations:1 - 0 self