Normal view
MARC view
- Gentzen, Gerhard
Gentzen, Gerhard (NOMBRE PERSONAL)
Machine generated authority record.
Work cat.: (ES-SlBCS)563639: Ladrière, Jean 8736, Le Théorème fondamental de Gentzen