Normal view
MARC view
- Deducción
Deducción (TÉRMINO TEMÁTICO)
Machine generated authority record.
Work cat.: (ES-SlBCS)521022: Malatesta, Michele 60452, An Extension of Gentzen's Natural Deduction