Revision history for entry Pereira, Luiz Carlos: Michael Detlefsen , Proof, Logic and Formalization. Mich.. [PERMD]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2020-01-01T00:19:20updateSystem / admin update
2019-12-24T18:31:33updateSystem / admin update
2019-06-06T02:14:46updateSystem / admin update
2019-06-06T02:14:46updateSystem / admin update
2019-06-06T02:14:46updateSystem / admin update
2017-10-25T19:40:26update
2017-02-20T10:49:20addSystem / admin update