>>11605979Reading the introduction, I think it's surprising he says students often pick other books and find deduction systems them don't recognize. When I took logic we studied Aristotle's axiomatic logic, natural deduction, trees, predicate calculus plus a few modern algorithms that can be implemented on computers.
Is this not standard?
