Handbook of logic in computer science - Abramsky, S.; Gabbay, Dov M.; Maibaum, T.S.E. (Oxford : Clarendon Press, 1992)
V.1. Background: mathematical structures -- V.2. Background: computational structures
Includes bibliographical references and index.
Keywords: Computer science; Computer science -- Handbook, manuals