TY - BOOK AU - Lemmon, E. J. TI - Beginning logic PY - 1965/// ER -