Revision history for entry Zach, Richard: Decidability of quantified propositional intuitionistic logic a.. [ZACDOQ]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-12-31T21:18:18updateSystem / admin update
2019-12-06T18:10:41updateSystem / admin update
2019-02-06T17:15:07updateSystem / admin update
2015-02-06T03:18:32updateSystem / admin update
2014-03-22T05:03:31updateSystem / admin update
2012-12-29T20:48:11updateSystem / admin update
2012-12-29T20:48:11updateSystem / admin update
2010-10-01T19:18:27updateSystem / admin update
2010-09-09T15:35:22updateSystem / admin update