A dictionary of philosophical logic - Cook, Roy T., (Edinburgh University Press,)