TY - BOOK AU - patterson, charles henry TI - problems in logic ER -