Revision history for entry Gabbay, Dov M.: The undecidability of intuitionistic theories of algebraically.. [GABTUO]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-05-31T13:37:55updateSystem / admin update
2017-01-18T05:16:07updateSystem / admin update
2016-06-30T12:59:29updateSystem / admin update
2015-02-05T06:52:12updateSystem / admin update
2013-11-22T11:59:35updateSystem / admin update
2013-11-04T09:22:25updateSystem / admin update