Buy this book on-line Andrews, James H : Logic programming: operational semantics and proof theory (Distinguished Dissertations in Computer Science)Cambridge, 1992 ISBN 0521432197
Pages unmarked. Top corners of boards bent a tad. DJ very slightly edgeworn. Binding firm.. Book. Book Condition: Very Good. Binding: Hardcover. Jacket: Very Good Dust Jacket Click here for full details of this book, to ask a question or to buy it on-line. Bibliophile Bookbase probably offers multiple copies of Andrews, James H : Logic programming: operational semantics and proof theory (Distinguished Dissertations in Computer Science). Click here to select from a complete list of available copies of this book. Bibliophile Bookbase lists over 5 million books, maps and prints including out-of-print books, livres rares, first editions, atlases and livres d'occasion. Bibliophile Bookbase for antiquarian books, maps and prints. |