Natural Deduction In First Order Logic Symbols