Revision history for entry Boucher, Andrew (manuscript). "A Natural First-Order System of Arithmetic Which Proves Its Own Consistency" [BOUANF-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2011-11-12T06:33:12update
2011-11-12T06:33:12add