TY - BOOK AU - Ehlers, Henry TI - Logic by way of set theory PY - 1968/// CY - new york PB - HRW ER -