Logical Inference: Underlying Operations - Daniel N. Osherson (Taylor and Francis, 1974)