Revision history for entry Boucher, Andrew (unknown). "Equivalence of F with a sub-theory of peano arithmetic" [BOUEOF]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2009-04-11T10:08:16update