Natural Deduction: A Proof-Theoretical Study