Natural deduction : an introduction to logic with real arguments, a little history, and some humour by Richard Arthur. ISBN 9781551111827. Published by Broadview in 2011. Publication and catalogue information, links to buy online and reader comments.