TY - BOOK AU - Brown, Jeremy TI - Introduction to logic for computer science SN - 9781666869569 U1 - 006.38 PY - 2024/// CY - Wilmington PB - American Academic Publisher N1 - Includes bibliographical references and index ER -