TY - BOOK AU - Forbes, Graeme. TI - Modern logic: a text in elementary symbolic logic PY - 1994/// CY - New York PB - Oxford University Press N1 - Includes bibliographical references and index ER -