TY - BOOK AU - Freudenthal Hans TI - Language of logic U1 - 164 PY - 1966/// CY - New York PB - Elsevier KW - Mathematical logic KW - Symbolic logic ER -