Revision history for entry Urquhart, Alasdair: Implicational formulas in intuitionistic logic [URQIFI]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-05-30T13:37:50updateSystem / admin update
2019-02-06T05:23:23updateSystem / admin update
2016-06-30T13:01:17updateSystem / admin update
2015-02-05T07:12:00updateSystem / admin update
2013-11-22T12:00:21updateSystem / admin update