Handbook of logic in computer science. Volume 5, Logic and algebraic methods - Abramsky, Samson, 1953-; Gabbay, Dov M., 1945-; Maibaum, Thomas S. E., 1947- (Oxford : Clarendon Press ; New York : Oxford University Press, 2000)
Title from ebook title screen (viewed Jan. 6, 2004).
Includes bibliographical references and indexes.
Keywords: Computer science; Logic, Symbolic and mathematical; Informatique; Logique symbolique et mathématique.; Ciencia da computacao ou informatica; Logica e semantica de programacao; Programming; Electronic books