TY - BOOK AU - Langer Susanne, E. TI - Introduction to symbolic logic PY - 1953/// ER -