Reasoning with arbitrary objects - Fine Kit (Oxford Basil Blackwell, 1985)
Keywords: LOGIC