TY - BOOK AU - Baum, Robert TI - Logic PY - 1975/// CY - Holt PB - Rinehart ER -