TY - BOOK AU - Stoll Robert R TI - Sets, logic, and axiomatic theories U1 - B31, L4 PY - 1974/// ER -