Notice de personne
- Notice
000 cx a22 45
001 FRBNF160185031
005 20090506
010 .. $a 0000000116153173 $2 VIAF $d 20130807
100 .. $a 20090506afrey50 ba0
101 .. $a eng
102 .. $a XX
103 .. $a 19..
105 .. $a a
106 .. $a 1
120 .. $a b
152 .. $c 2
200 .| $7 ba0yba0y $8 fre $9 0 $a Kohlenbach $b U.
300 0. $a Mathématicien. - En poste : Technische Universität Darmstadt, Allemagne (en 2008)
801 .. $a FR $b FR-751131015 $c 20090506
810 .. $a Applied proof theory / U. Kohlenbach, 2008
