ISBN 9780135614655 books & textbook
Mathematical Logic and Programming Languages (Prentice-hall International Series in Computer Science)
Hoare, C. A. R. Shepherdson, J. C.
Prentice Hall /1985T Hardcover / 165 Pages
isbn-10: 0135614651 / isbn-13: 9780135614655
