Skip to main content Accessibility help

Jeremy Avigad. Update procedures and the 1-consistency of arithmetic. Mathematical Logic Quarterly, vol. 48 (2002), pp. 3–13.

  • Toshiyasu Arai (a1)



Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed