9780444898807 - higher order logic theorem proving and its applications: proceedings of the ifip/wg10.2 international workshop, leuven, belgium, 21-24 september 1992: v. a-20 (2 risultati)

Condizione: Like New. Fine/As New; Softcover; This book is brand new and still sealed in the publisher's original shrinkwrap; Corners are slightly "bumped" through the plastic; This book will be stored and delivered in a sturdy cardboard box with foam padding; Medium Format (8.5" - 9.75" tall); Green covers with title in white l…