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

by
Jeremy Avigad

Venue: | Mathematical Logic Quarterly |

Citations: | 4 - 0 self |