Biblical semantic logic: a preliminary analysis - Gibson, Arthur (Blackwell, 1981)