WiSe 2009/2010 » Angewandte Beweistheorie
Prof. Dr. Kohlenbach

Veranstalter

Name	Raum	Tel.
Prof. Dr. Ulrich Kohlenbach	S2|15 205	22862

 

Vorlesung

Tag	Uhrzeit	in Raum
Mittwochs	11:40 - 13.30	S215/51

 

Literatur

• U. Kohlenbach: Applied Proof Theory, Proof Interpretations and Their Use in Mathematics. Springer Monographs in Mathematics, xx+536pp., 2008 (HeBIS, Wellnitz, Amazon)

 

Übung

Nr.	Zeit	in Raum	bei	in Raum
1	Donnerstags, 16:15 - 17:55	S102/36	U. Kohlenbach	S215/205

 

Impressum | Datenschutzerklärung