A Study of logics /
Cleave, John P.
Oxford : Clarendon Press,
1991.