Introduction hol theorem proving environment (1 resultados)

Título: 
Refinar con la Búsqueda avanzada

Filtrar la búsqueda

  • Libros (1)

Más información

a

Intervalo de precios personalizado (EUR)

a

    • Idioma: Inglés

      Editorial: Cambridge, Cambridge University Press, 1993

      0521441897 / 9780521441896

      • Tapa blanda

      Librería: Antiquariat Bookfarm, Löbnitz, AlemaniaAntiquariat Bookfarm

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Usado - Bueno

      EUR 116,82

      Envío por EUR 40,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 1 disponibles

      Softcover. Condición: 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: Engli…