Importe total (1 artículo artículos):
Destino del pedido:
symbolic logic mechanical theorem proving de chang char tung lee (23 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (23)
- 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
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 (8)
- No impresión bajo demanda (22)
Idioma (2)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
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,13
EUR 3,19 shipping
Se envía dentro de 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: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 9,14
EUR 3,19 shipping
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority!
-
Symbolic Logic and Mechanical Theorem Proving
Idioma: Inglés
Publicado por Elsevier Science & Technology, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 12,52
Gastos de envío gratis
Se envía dentro de 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
Idioma: Inglés
Publicado por Elsevier Science & Technology, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 12,52
Gastos de envío gratis
Se envía dentro de 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 Classics)
Librería: World of Books (was SecondSale), Montgomery, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 12,70
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
-
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,10
EUR 4,68 shipping
Se envía dentro de 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
Idioma: Inglés
Publicado por Academic Press, New York and London, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
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,54
EUR 4,26 shipping
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. 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,30
Gastos de envío gratis
Se envía dentro de 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 (Computer Science and Applied Mathematics)
Idioma: Inglés
Publicado por Academic Press, New York San Francisco London, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
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,09
EUR 4,26 shipping
Se envía dentro de 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
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 44,78
EUR 2,25 shipping
Se envía dentro de 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.
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 shipping
Se envía de 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 62,34
EUR 2,25 shipping
Se envía dentro de 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,73
EUR 2,25 shipping
Se envía dentro de 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 48,99
EUR 17,07 shipping
Se envía de 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)
Idioma: Inglés
Publicado por Academic Press 1973-06-15, 1973
ISBN 10: 0121703509 ISBN 13: 9780121703509
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 54,22
EUR 17,63 shipping
Se envía de 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 and Applied Mathematics)
Librería: BennettBooksLtd, San Diego, NV, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 78,87
EUR 5,92 shipping
Se envía dentro de 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
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 72,27
EUR 17,07 shipping
Se envía de 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: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 87,23
EUR 14,23 shipping
Se envía de 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: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 84,37
EUR 17,07 shipping
Se envía de 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: Antiquariat Der Papiersammler, Wetter, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 46,00
EUR 18,95 shipping
Se envía de 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
Publicado por Academic Press, 1973
Librería: Librodifaccia, Alessandria, AL, Italia
Calificación del vendedor: 5 de 5 estrellas
EUR 41,00
EUR 27,90 shipping
Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Buone. inglese Condizioni dell'esterno: copertina leggermente logorata e leggermente macchiata Condizioni dell'interno: Macchiata da umidita'.
-
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 shipping
Se envía de 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).
-
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,42
EUR 14,23 shipping
Se envía de 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. This item is printed on demand.
