with Arrington, R.L. , Burkholder, P. M. , Sallis, J. , 1967, Philosophical logic, Springer, Dordrecht.