Revision history for entry Kreisel, Georg (1972). "Informal Rigour and Completeness Proofs" [KREIRA]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-01-30T23:45:29updateSystem / admin update -
2011-03-20T21:45:19update
2011-03-20T07:24:34update
2011-03-20T07:24:34add