User:Agashlin/Books/Deduction

Deduction

 * Deductive reasoning
 * Natural deduction
 * Sequent calculus
 * Hilbert system