Reasoning with arbitrary objects
Fine, Kit.
Oxford Blackwell
1985
Bibliography: p210-214. - Includes index
Logic.