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-28T07:11:38updateSystem / admin update -
2013-11-22T07:09:58updateSystem / admin update -
2013-11-04T04:21:31updateSystem / admin update -