Books by Andrews, James HClick here for all books by Andrews, James H available for purchase on-line. Logic programming: operational semantics and proof theory (Distinguished Dissertations in Computer Science) by Andrews, James H listed for sale on Bibliophile Bookbase. Click here for full details and on-line purchase. Bibliophile Bookbase lists over 5 million books, maps and prints including used books, atlases, fine bindings, antiquarian books and libri rari. Bibliophile Bookbase for antiquarian books, maps and prints. |