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.
Time | Type | Notes |
2019-12-31T21:18:18 | update | System / admin update |
2019-12-06T18:10:41 | update | System / admin update |
2019-02-06T17:15:07 | update | System / admin update |
2015-02-06T03:18:32 | update | System / admin update |
2014-03-22T05:03:31 | update | System / admin update |
2012-12-29T20:48:11 | update | System / admin update |
2012-12-29T20:48:11 | update | System / admin update |
2010-10-01T19:18:27 | update | System / admin update |
2010-09-09T15:35:22 | update | System / admin update |
loading ..