Revision history for entry Avron, Arnon; Konikowska, Beata: Decomposition proof systems for gödel-Dummett.. [AVRDPS]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2020-01-01T00:02:22updateSystem / admin update
2019-12-31T21:50:00updateSystem / admin update
2019-02-05T18:49:59updateSystem / admin update
2017-02-21T23:38:43updateSystem / admin update
2015-02-06T05:02:06updateSystem / admin update
2014-03-26T07:43:09updateSystem / admin update
2013-12-02T01:47:19updateSystem / admin update
2011-03-03T21:27:24update
2010-09-28T11:28:57updateSystem / admin update