TY - BOOK AU - 47 TI - A CONCISE INTRODUCTION TO LOGIC SN - 9780495503835 ER -