Văn bản này: Propositional and predicate calculus : a model of argument / Derek Goldrei.