TY - BOOK AU - Jeffrey,Richard C. TI - Formal logic: : its scope and limits SN - 0872208133 AV - BC128.J43 2006 PY - 2006/// CY - Indianapolis : PB - Hackett Pub.Co., KW - First-order logic--Textbooks N1 - Includes bibliographical references and index ER -