TY - BOOK AU - Suppes,Patrick AU - Hill,Shirley TI - First course in mathematical logic U1 - 164 PY - 1964/// CY - Waltham PB - Blaisdell Pub. KW - Logic, Symbolic and mathematical N1 - Includes index ER -