Importe total (1 artículo artículos):
Destino del pedido:
symbolic logic mechanical theorem proving de chang chin liang richard char tung lee (21 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (21)
- 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 (7)
- Como nuevo, Excelente o Muy bueno (4)
- Bueno o Aceptable (7)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (3)
Encuadernación
Más atributos
- Primera edición (3)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (3)
- Con imágenes (7)
- No impresión bajo demanda (21)
Idioma (2)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Symbolic Logic and Mechanical Theorem Proving
Publicado por Elsevier Science & Technology, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
Idioma: Inglés
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 13,08
Gratis gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
Symbolic Logic and Mechanical Theorem Proving
Publicado por Elsevier Science & Technology, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
Idioma: Inglés
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 13,08
Gratis gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 9,76
EUR 3,23 gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Librería: Reader's Corner, Inc., Raleigh, NC, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 17,31
EUR 4,74 gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Fine. 1st Edition. With a name clipped from the front flyleaf, otherwise a fine, as new, hardcover first edition copy, no DJ, black spine.
-
Symbolic Logic and Mechanical Theorem Proving
Publicado por Academic Press, New York and London, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
Idioma: Inglés
Librería: Row By Row Bookshop, Sugar Grove, NC, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 17,75
EUR 4,31 gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good. Estado de la sobrecubierta: No Dust Jacket. First Edition. An ex-library copy in black hard covers lettered in gold, with the usual ex-libris markings. The binding is sound, the text is clean/unmarked, and there is little cover wear. No dust jacket. Book.
-
Symbolic Logic and Mechanical Theorem Proving
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 26,62
Gratis gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good. Computer Science And Applied Mathematics; Book is in good overall condition. No writing or major blemishes. Average wear. Brief dedication on first page. Light smudging on dust cover. Foxing to fore-edge of pages.; - We're committed to your satisfaction. We offer free returns and respond promptly to all inquiries. Your item will be carefully wrapped in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence.
-
Symbolic Logic and Mechanical Theorem Proving
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 44,38
EUR 2,28 gastos de envío en Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoCondición: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
-
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Publicado por Academic Press, New York San Francisco London, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
Idioma: Inglés
Librería: Theoria Books, Andover, MA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 42,61
EUR 4,31 gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Near Fine. Estado de la sobrecubierta: Good. 1st Edition. 331pp.,xiii. No edition cited; no number line: First Printing. Appendix A, "A Computer Program Using Unit Binary Resolution", pp. 287-305; Appendix B, "Proof of Lemma 8.2", pp. 306-308; Bibliography, in Parts I, II, III, pp. 309-324; Index, pp. 325-331. Dark blue fine linen with brilliant gilt-stamped lettering on spine and front cover; lower cover corners slightly bumped, upper corners sharp; 16 pp. of 331pp. have minor amount of green ink underlining ( pp. 2-8, 10, 27-31, 34-35, 72); 5 pages have light pencil lines and annotations, which may be of interest to next book owner, else can easily be erased). Strong binding. Glossy medium blue dustwrapper with silver lettering on upper half front cover, above derivation tree diagram; dw worn, chipped, missing bits at extremities: NOW in mylar which forgives these sins graciously. No previous owner names.
-
Symbolic Logic and Mechanical Theorem Proving.
Publicado por Academic Press, New York - London, 1973
Librería: Antiquariat Tode, Berlin, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 18,00
EUR 17,00 gastos de envío desde Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritofester Einband. 16 x 23,5 cm. 331 S. Leinen mit O-Schutzumschlag, dieser etwas berieben, Ecken leicht bestoßen, kl. Namenszug a.d. flieg. Vorsatz, ansonsten gutes bis sehr gutes Exemplar.
-
Symbolic Logic and Mechanical Theorem Proving
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 63,10
EUR 2,28 gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Symbolic Logic and Mechanical Theorem Proving
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 63,74
EUR 2,28 gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Symbolic Logic and Mechanical Theorem Proving
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 49,30
EUR 17,06 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoCondición: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
-
Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics)
Publicado por Academic Press 1973-06-15, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
Idioma: Inglés
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 54,16
EUR 17,61 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoHardcover. Condición: New.
-
Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 60,36
EUR 14,21 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 331 pages. 9.50x6.50x0.75 inches. In Stock.
-
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Librería: BennettBooksLtd, San Diego, NV, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 79,84
EUR 5,99 gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: New. In shrink wrap. Looks like an interesting title!
-
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 74,67
EUR 13,62 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Symbolic Logic and Mechanical Theorem Proving
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 72,28
EUR 17,06 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Symbolic Logic and Mechanical Theorem Proving
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 84,31
EUR 17,06 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Symbolic Logic and Mechanical Theorem Proving
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 87,14
EUR 14,21 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 1st edition. 331 pages. 9.25x6.25x0.79 inches. In Stock.
-
Symbolic Logic and Mechanical Theorem Proving
Librería: Antiquariat Der Papiersammler, Wetter, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 46,00
EUR 18,95 gastos de envío desde Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoComputer Science, ., 1973, , 331, Hardcover (gebunden), 8°, mit Schutzumschlag, Englisch, Schutzumschlag: etwas bestoßen, etwas fleckig, Seiten: leicht gebräunt,
-
Symbolic logic and mechanical theorem proving
Librería: Moby Dick, Noordwijk, Holanda
Calificación del vendedor: 5 de 5 estrellas
EUR 36,00
EUR 49,10 gastos de envío desde Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoAcademic Press 1973 cloth, 331 pp. ISBN (0-12-170350-9) (code Sc-87).
