Revision history for entry Tourlakis, George (2010). "On the proof-theory of two formalisations of modal first-order logic" [TOUOTP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-03-07T15:31:41updateSystem / admin update -
2014-01-23T05:05:57updateSystem / admin update -
2013-12-02T01:49:15updateSystem / admin update -
2011-05-31T15:05:08updateSystem / admin update -
2010-12-09T05:01:09updateSystem / admin update -
2010-12-08T08:10:06updateSystem / admin update -
2010-12-08T05:01:10addSystem / admin update -