REASONING WITH ARBITRARY OBJECTS - Fine, Kit (Oxford Basil Blackwell, 1985)
Keywords: Reasoning; Logic