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