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