Revision history for entry Vranas, Peter B. M.: New foundations for imperative logic I: Logical connectiv.. [VRANFF]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2023-06-15T16:18:50updateSystem / admin update
2023-06-04T05:10:05updateSystem / admin update
2022-10-21T08:48:49updateSystem / admin update
2022-04-12T07:19:23updateSystem / admin update
2022-04-12T07:19:09updateSystem / admin update
2022-03-29T10:34:31updateSystem / admin update
2021-12-30T01:29:25updateSystem / admin update
2021-07-08T07:57:40updateSystem / admin update
2019-02-06T23:56:12updateSystem / admin update
2015-09-08T20:38:46updateLocal copy uploaded (view this copy)
2015-03-17T09:25:53updateSystem / admin update
2013-11-04T11:12:01updateSystem / admin update
2013-11-04T10:38:20updateSystem / admin update
2013-11-04T10:38:20updateSystem / admin update
2013-11-04T10:38:19updateSystem / admin update
2013-11-04T09:39:28updateSystem / admin update
2012-02-20T22:30:11update
2012-01-06T01:23:29update
2010-10-14T07:10:48updateSystem / admin update