LC control no. | n 2008055905 |
---|---|
Personal name heading | Kohlenbach, U. (Ulrich) |
Variant(s) | Kohlenbach, Ulrich |
Found in | Applied proof theory, c2008: t.p. (U. Kohlenbach) t.p. verso (Ulrich Kohlenbach, Tech. Univ. Darmstadt, Darmstadt, Germany, email: kohlenbach@mathematik.tu-darmstadt.de) |