TY - BOOK AU - Stoll, Robert R. TI - Set theory and logic CY - San Francisco N1 - B31 K36 ER -