Handbook of logic in computer science
By: edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum.
Contributors: Abramsky, Samson, 1953-; Gabbay, Dov M., 1945-; Maibaum, Thomas S. E., 1947-
Publisher: Clarendon Press; Oxford University Press
Published: 1992
Place of publication: Oxford; New York
Language: eng
Subjects: Computer science.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references and indexes.
Table of contents: title: v. 1. Background, mathematical structure; title: v. 2. Background, computational structure; title: v. 3. Semantic structures; title: v. 4. Semantic modelling; title: v. 5. Logic and algebraic methods.