A variant of Thomason's first-order logic CF based on situations

SIGLEAvailable from British Library Document Supply Centre-DSC:7769.555(97/44) / BLDSC - British Library Document Supply CentreGBUnited Kingdo