TY - BOOK AU - PAUL R TI - ALGEBRAIC LOGIC U1 - PAU/HAL ER -