Revision history for entry Gentzen, Gerhard (1964). "Investigations into Logical Deduction" [GENIIL-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-03-24T21:21:12update