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-20T13:15:24updateSystem / admin update -
2013-11-02T15:09:04updateSystem / admin update -
2012-07-12T11:27:15update
2011-02-01T08:26:34update
2010-10-28T13:39:32updateSystem / admin update -
2010-10-02T02:25:08updateSystem / admin update -
2010-09-23T17:30:31addSystem / admin update -