Preliminaries -- Standard Natural Deduction -- Other Deductive Systems --