Introduction to HOL a theorem proving environment for higher order logic ed..
119,82 €
Cambridge, Cambridge University Press, 1993. Softcover Sprache: Englisch ISBN: 0521441897 EAN: 9780521441896 Bestell-Nr: 2498282 Bemerkungen: Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. C 690 9780521441896 .
Jetzt bei Ebay:
