Intermediate logic /
Bostock, David.
Oxford : Clarendon,
1997.
Includes bibliographical references and index.
Logic, Symbolic and mathematical.