PROGRESS IN LIBRARY SCIENCE (1967)
Keywords: LOGIC, SYMBOLIC AND MATHEMATICAL