Natural Deduction: A Proof-Theoretical Study – Dag Prawitz Published by Almqvist & Wiksell, Stockholm