Revision history for entry Takeuti, Gaisi (1987). "Proof Theory" [TAKPT]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2011-07-24T16:25:26update
2011-07-20T16:15:55update