TY - BOOK AU - Suppes, Patrick AU - Hill, Shirley TI - First course in mathematical logic U1 - 511.3 SUP-F PY - 1964/// CY - Blaisdell Publishing Co., London KW - Mathematical logic-- Mathematics ER -