TY - BOOK AU - Suppes Patrik; Hill Shirley TI - First course in mathematical logic PY - 1964/// ER -