Revision history for entry Aehlig, Klaus (2005). "Induction and Inductive Definitions in Fragments of Second Order Arithmetic" [KLAIAI]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-03-20T09:15:24updateSystem / admin update -
2013-11-02T11:09:04updateSystem / admin update -
2012-07-12T06:27:15update
2011-02-01T03:26:34update
2010-10-28T08:39:32updateSystem / admin update -
2010-10-01T21:25:08updateSystem / admin update -
2010-09-23T12:30:31addSystem / admin update -