A study of logics - Cleane, John P. (Oxford logic guides = ; 18, 1991)