TY - BOOK TI - PROGRESS IN LIBRARY SCIENCE U1 - 020.5 P953 PY - 1967/// CY - PB - KW - LOGIC, SYMBOLIC AND MATHEMATICAL ER -