Vista normal
Vista MARC
- Kohlenbach, U.
Kohlenbach, U. (Nombre personal)
Machine generated authority record.
Work cat.: (CoBo-ECI)0: Kohlenbach, U., Applied proof theory :, 2008.
Machine generated authority record.
Work cat.: (CoBo-ECI)0: Kohlenbach, U., Applied proof theory :, 2008.