9780521441896 - introduction to hol: a theorem proving environment for higher order logic von gordon, m. j. c. (1 Ergebnisse)

ISBN: 
Mit der Detailsuche verfeinern

Optimieren Sie Ihre Suche

  • Bücher (1)

Mehr dazu

bis

Benutzerdefinierte Preisspanne (EUR)

bis

    • Sprache: Englisch

      Verlag: Cambridge, Cambridge University Press, 1993

      0521441897 / 9780521441896

      • Softcover

      Anbieter: Antiquariat Bookfarm, Löbnitz, DeutschlandAntiquariat Bookfarm

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Gebraucht - Gut

      EUR 116,82

      EUR 40,00 Versand 
      Versand von Deutschland nach USA

      Anzahl: 1 verfügbar

      Softcover. Zustand: Gut. 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 Sprache: Englisc…