Logic form and function. - Robinson J A (Edinburgh Edinburgh University Press, 1979)