Revision history for entry Okada, Mitsuhiro: Some Remarks on a Difference between Gentzen's Finitist and .. [OKASRO-3]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-02-06T15:10:08updateSystem / admin update
2017-07-23T14:24:04updateSystem / admin update
2017-07-23T10:46:19addSystem / admin update