Chiswell, Ian Mathematical logic - New York Oxford University Press 2007 - viii, 250p ISBN: 9780199548743 Subjects--Topical Terms: Logic Mathematical logicMathematical logicMathematicsPropositional logicQuantifier-Free logic