9780486780825 - logic for computer science: foundations of automatic theorem proving, second edition (dover books on computer science) de gallier, jean (4 resultados)
Idioma: Inglés
Editorial: Dover Publications, 2015
- Tapa blanda
Librería: Goodwill Southern California, Los Angeles, CA, Estados Unidos de AmericaGoodwill Southern California
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 18,10
Envío por EUR 2,57Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: good. Paperback Book.
Idioma: Inglés
Editorial: Dover Publishers, 2015
- Tapa blanda
Librería: INDOO, Avenel, NJ, Estados Unidos de AmericaINDOO
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 22,46
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Brand New.
Idioma: Inglés
Editorial: Dover Publications, 2015
- Tapa blanda
Librería: Book Express (NZ), Shannon, Nueva ZelandaBook Express (NZ)
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Bueno
EUR 8,41
Envío por EUR 26,60Se envía de Nueva Zelanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Very Good. 528 pages. This advanced text for undergraduate and graduate students introduces mathema tical logic with an emphasis on proof theory and procedures for algorithmic cons truction of formal proofs. The self-contained treatment is also useful for compu.
Idioma: Inglés
Editorial: Dover Pubns, 2015
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 42,05
Envío por EUR 14,58Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. 2nd edition. 496 pages. 9.00x6.00x1.50 inches. In Stock.
