TY - BOOK AU - Ehlers, Henry TI - Logic by way of set theory PY - 1968/// ER -