Treffer: Applied proof theory

Titel:
Applied proof theory : proof interpretations and their use in mathematics / Ulrich Kohlenbach
Verantwortlich:
Kohlenbach, Ulrich 
Veröffent­licht:
Berlin [u.a.] : Springer, 2008
Umfang:
XIX, 532 S.
Publikationstyp:
Buch
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Springer monographs in mathematics
RVK-Notation:
CC 2600 SK 130
Schlagworte:
ISBN:
9783540775324

Zusatz-Informationen

Zusatz-Funktionen