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 rare books, libri rari, livres rares, out-of-print books and antiquarian books. Bibliophile Bookbase for antiquarian books, maps and prints. |