Natural Deduction (A Proof-Theoretical Study)