Practical Logic by Vincent E Barry