Revision history for entry Kurahashi, Taishi: On predicate provability logics and binumerations of fragme.. [KUROPP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2020-02-03T14:47:32updateSystem / admin update
2015-03-21T19:43:00updateSystem / admin update
2014-01-21T06:01:15updateSystem / admin update
2013-11-23T23:45:03addSystem / admin update