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 livres anciens, libri antichi, first editions, atlases and collectables. Bibliophile Bookbase for antiquarian books, maps and prints. |