Importe total (1 artículo artículos):
Destino del pedido:
9780387945934 - First-Order Logic and Automated Theorem Proving (Texts in Computer Science) de Fitting, Melvin (2 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (2)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (No hay ningún otro resultado que coincida con este filtro.)
- Como nuevo, Excelente o Muy bueno (No hay ningún otro resultado que coincida con este filtro.)
- Bueno o Aceptable (2)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
- Todas
- Tapa dura (2)
- Tapa blanda (No hay ningún otro resultado que coincida con este filtro.)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (1)
- No impresión bajo demanda (2)
Idioma (2)
Precio
- Cualquier precio
- Menos de EUR 20 (No hay ningún otro resultado que coincida con este filtro.)
- EUR 20 a EUR 45 (No hay ningún otro resultado que coincida con este filtro.)
- Más de EUR 45
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Libro 28 de 83: Texts in Computer ScienceLibrería: Night Heron Books, Laramie, WY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 65,19
Envío por EUR 3,68
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Very Good. Binding tight.Cover clean.Minor wear to page edges and corners. Hardcover.No writing, highlighting, or marks in text.
-
First-Order Logic and Automated Theorem Proving
Libro 28 de 83: Texts in Computer ScienceIdioma: Inglés
Publicado por Springer, New York, NY, 1995
ISBN 10: 0387945938 ISBN 13: 9780387945934
Librería: True Oak Books, Highland, NY, Estados Unidos de America
Miembro de asociación: IOBA
Calificación del vendedor: 5 de 5 estrellas
EUR 89,29
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good. Estado de la sobrecubierta: No Dust Jacket. Second Edition; First Printing. Texts In Computer Science; 7.25 X 1 X 9.75 inches; 326 pages; minor water exposure wrinkles on the first and last 4-5 pages. Minor shelf wear on front cover. Minor discoloration of textblock. Previous owner's name on front free endpaper. Very Good condition otherwise. No other noteworthy defects. ; - Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries. Your item will be carefully cushioned in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence.
