Normal view
MARC view
Prawitz, Dag (Personal Name)
Machine generated authority record.
Work cat.: (OSt): Prawitz, Dag, Natural Deduction: A Proof-Theoretical Study, 2006