TY - BOOK AU - MENDELSON,ELLIOTT TI - INTRODUCTION TO MATHEMATICAL LOGIC SN - KBCS U1 - 726 PY - 1987/// CY - CALIFORNIA PB - WBC N1 - BR-316 ER -