TY - BOOK AU - 46 TI - A CONCISE INTRODUCTION TO LOGIC SN - 9780534089283 ER -