Propositional and first order logic. Equivalence, inference and method of proof.[查看全文]