Logic an introduction - Restall, Greg (Routledge, 2006)
Includes bibliographical references and index