Normal view
MARC view
- Gentzen, Gerhard
Gentzen, Gerhard (Nombre personal)
Machine generated authority record.
Work cat.: (AR-SiUPM): Gentzen, Gerhard, Recherches sur La deduction logique