Normal view
MARC view
- Kohlenbach, Ulrich
Kohlenbach, Ulrich (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Kohlenbach, Ulrich., Applied Proof Theory: Proof Interpretations and Their Use in Mathematics, 2008.