Revision history for entry Willard, Dan E. (2002). "How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic Q" [WILHTE]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2017-04-23T10:24:49updateSystem / admin update -
2017-02-01T20:34:03updateSystem / admin update -
2016-06-30T13:12:05updateSystem / admin update -
2015-02-05T06:59:11updateSystem / admin update -
2013-11-02T22:44:40updateSystem / admin update -
2013-11-02T22:44:09updateSystem / admin update -
2010-09-23T17:29:58updateSystem / admin update -