Update procedures and the 1-consistency of arithmetic (2002)

Cached

Download Links

by Jeremy Avigad
Venue:Mathematical Logic Quarterly
Citations:4 - 0 self