ISBN 9780198537359 books & textbook
Handbook of Logic in Computer Science (Handbook of Logic in Computer Science, Vol 1)
Abramsky S S. Abramsky Dov M. Gabbay T. S. E. Maibaum
Oxford University Press /1993-03-18 Hardcover / 840 Pages
isbn-10: 0198537352 / isbn-13: 9780198537359
