Revision history for entry Gentilini, Paolo (1999). "Proof-theoretic modal PA-Completeness II: The syntactic countermodel" [GENPMP-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-03-28T21:44:40updateSystem / admin update -
2013-12-02T01:47:02updateSystem / admin update -
2010-09-28T03:12:07updateSystem / admin update -