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
2013-11-02T22:44:40updateSystem / admin update -
2013-11-02T22:44:09updateSystem / admin update -
2010-09-23T17:29:58updateSystem / admin update -