Revision history for entry Petrukhin, Yaroslav: Natural Deduction for Three-Valued Regular Logics [PETNDF-3]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2017-10-24T23:31:27update
2017-10-24T23:31:19update
2017-10-25T03:20:37updateSystem / admin update
2017-10-24T10:31:33addLocal copy uploaded (view this copy)