9780521441896 - introduction to hol: a theorem-proving environment for higher-order logic (1 risultati)

ISBN: 
Perfeziona con la Ricerca avanzata

Perfeziona la tua ricerca

  • Libri (1)

  • Come descritto (1)
Maggiori informazioni

a

Fascia di prezzo personalizzata (EUR)

a

    • Lingua: Inglese

      Editore: Cambridge, Cambridge University Press 1993

      0521441897 / 9780521441896

      • Brossura

      Da: Antiquariat Bookfarm, Löbnitz, GermaniaAntiquariat Bookfarm

      Venditore con 5 stelle
      Contatta il venditore

      Condizione: Usato

      EUR 116,82

      EUR 40,00 spedizione 
      Spedito da Germania a U.S.A.

      Quantità: 1 disponibili

      Softcover. 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: Englisch Gewicht in G…