TY - BOOK AU - Halbach,Volker TI - The logic manual SN - 9780199587841 (pbk.) U1 - 160 23 PY - 2010/// CY - Oxford, New York PB - Oxford University Press KW - Logic N1 - Includes bibliographical references and index ER -