Originally published: Oxford: Clarendon, 1988.
Includes index.
An introduction to discrete mathematics and formal system specification by Darrel Ince. Published by ELBS in 1989. Publication and catalogue information, links to buy online and reader comments.