Revision history for entry Kohlenbach, Ulrich (1999). "On the no-counterexample interpretation" [KOHOTN]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-03-28T11:11:38updateSystem / admin update -
2013-11-22T12:09:58updateSystem / admin update -
2013-11-04T09:21:31updateSystem / admin update -