Update Procedures and the 1-Consistency of Arithmetic.

Jeremy Avigad Update Procedures and the 1-Consistency of Arithmetic. 3-13 2002 48 Math. Log. Q. 1 http://dx.doi.org/10.1002/1521-3870(200201)48:1<3::AID-MALQ3>3.0.CO;2-6 db/journals/mlq/mlq48.html#Avigad02