9780387972336 - first-order logic and automated theorem proving (texts & monographs in computer science) von fitting, melvin (1 Ergebnisse)

Zustand: Very Good. 242 pp., hardcover, previous owner's name to the front free endpaper, else very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's c…