TY - BOOK AU - 46 TI - A CONCIS INTRODUCTION LOGIC ER -