ISBN 9780198537618 books & textbook
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
Abramsky, S. Gabbay, Dov M. Maibaum, T. S. E.
Clarendon Press /1993-03-18 Hardcover / 582 Pages
isbn-10: 0198537611 / isbn-13: 9780198537618
