Zaslat SMS: Propositional and predicate calculus : a model of argument / Derek Goldrei.