Revision history for entry Bohórquez, Jaime: Intuitionistic Logic according to Dijkstra's Calculus of Equ.. [BOHILA-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2017-01-26T21:52:30updateSystem / admin update
2015-02-04T23:43:15updateSystem / admin update
2014-03-13T13:22:09updateSystem / admin update
2014-03-13T05:35:21addSystem / admin update