search for books and compare prices
Logic Programming: Operational Semantics and Proof Theory
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Hardcover
from Cambridge Univ Pr (January 29, 1993)
9780521432191 | details & prices | 104 pages | 7.25 × 10.25 × 0.50 in. | 0.90 lbs | List price $83.99
Paperback
from Cambridge Univ Pr (September 30, 2004)
9780521607544 | details & prices | 104 pages | 7.75 × 10.00 × 0.50 in. | 0.52 lbs | List price $54.99