Revision history for entry Suzuki, Nobu-Yuki: Halldén-completeness in super-intuitionistic predicate logi.. [SUZHIS]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2019-11-26T19:31:23updateSystem / admin update
2019-02-05T14:45:04updateSystem / admin update
2017-02-21T23:36:21updateSystem / admin update
2015-03-17T09:45:41updateSystem / admin update
2015-02-06T05:00:07updateSystem / admin update
2014-03-23T16:51:41updateSystem / admin update
2013-12-02T01:47:43updateSystem / admin update
2012-01-12T03:08:00update
2012-01-12T03:08:00update
2012-01-12T03:08:00update