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-07T10:31:41updateSystem / admin update -
2014-01-23T00:05:57updateSystem / admin update -
2013-12-01T20:49:15updateSystem / admin update -
2011-05-31T10:05:08updateSystem / admin update -
2010-12-09T00:01:09updateSystem / admin update -
2010-12-08T03:10:06updateSystem / admin update -
2010-12-08T00:01:10addSystem / admin update -