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-28T17:44:40updateSystem / admin update -
2013-12-01T20:47:02updateSystem / admin update -
2010-09-27T22:12:07updateSystem / admin update -