TY - BOOK AU - Fine, Kit TI - REASONING WITH ARBITRARY OBJECTS U1 - 160 PY - 1985/// CY - Oxford PB - Basil Blackwell KW - Reasoning KW - Logic ER -