A Study of logics / John P. Cleave. - Cleave, John P. (Oxford logic guides, 1991)