Liquidación de temporada: ¡Hasta 40% OFF!

¡Liquidación! Hasta 40% OFF

Toggle Nav
  • Amazon
  • Ebay
My Cart
Atrás

Artículo: AMZ-B00FB3Q078

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

Format:

eTextbook

Hardcover

Paperback

eTextbook

Detalles del producto
Disponibilidad
Sin stock
Peso con empaque
0.20 kg
Devolución
No
Condición
Nuevo
Producto de
Amazon
Viaja desde
USA
Sobre este producto
  • There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien­ tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance. This book is intended for computer scientists. But even this is not precise. Within computer science formal logic turns up in a number of areas, from pro­ gram verification to logic programming to artificial intelligence. This book is intended for computer scientists interested in automated theo­ rem proving in classical logic. To be more precise yet, it is essentially a theoretical treatment, not a how-to book, although how-to issues are not neglected. This does not mean, of course, that the book will be of no interest to philosophers or mathematicians. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues. The first item to be addressed is, What are we talking about and why are we interested in it? We are primarily talking about truth as used in mathematical discourse, and our interest in it is, or should be, self­ evident. Truth is a semantic concept, so we begin with models and their properties. These are used to define our subject.

Producto prohibido

Este producto no está disponible

Este producto viaja de USA a tus manos en
Medios de pago

Conoce más detalles

Highlight, take notes, and search in the book In this edition, page numbers are just like the physical edition

Productos Relacionados

Ver más

Otros Productos

Ver más

Compra protegida

Disfruta de una experiencia de compra segura y confiable

¿Cómo comprar?

Información de Aduanas Ecuador

En Tiendamia puedes hacer tus compras a través de la categoría B (4x4) y la categoría C. No tendrás que hacer trámites de aduana. Hacemos todo por ti.

  • El 4x4 (o categoría B)
  • a. No paga impuestos ecuatorianos.
  • b. Tienes una cantidad ilimitada de órdenes en el régimen 4x4 siempre que cada una de estas esté dentro del peso máximo permitido (hasta 4 kg) y no superen los $400, además de cumplir con el cupo anual por persona.
  • c. El cupo anual máximo es de $1.600 al año para compras en el exterior a través del régimen 4x4. El cupo anual se limitan a una cédula pero no a tu usuario de Tiendamia.
  • d. Se puede comprar una gran variedad de productos dentro de esta categoría siempre y cuando cumplan con el 4x4 y no sean para fines comerciales, por esa razón, se puede comprar máximo 3 productos iguales o similares de la misma categoría. Por ejemplo, puedes comprar hasta 3 perfumes, hasta 3 relojes y hasta 3 pares de zapatos, si te excedes de esta cantidad tu orden puede tener cargos extra por parte de la aduana.
  • Las tablets, laptops y celulares se pueden comprar a través de la Categoría C.
  • a. Esta categoría sí paga impuestos (IVA + Fodinfa)
  • b. Solo se puede comprar un celular nuevo al año, no se admiten refabricados, usados u “open box.”

Obtener ayuda

Garantía de entrega

Con Tiendamia todas tus compras cuentan con Garantía de Entrega o devolución total de tu dinero.

Compras 100% seguras y garantizadas, para que pidas lo que sueñas y lo recibas del mundo a tu puerta.

¿Cómo solicitar una devolución?

Para solicitar una devolución, el cliente debe realizarlo a través de su cuenta de Tiendamia. Este proceso está sujeto a la aprobación del departamento de Devoluciones (lo cual puede demorar de 48hs a 72hs hábiles). En caso de no tener la opción en la web, el cliente debe contactarse con Atención al Cliente para iniciar la solicitud.

Los productos sin devolución son:

  • Los productos que tienen un tiempo de entrega mayor a 20 días hábiles.
  • Productos que por su naturaleza no admiten devolución en EE.UU. o China y, por lo tanto, Tiendamia no puede ofrecer la devolución al cliente. Ejemplos: perfumes, cremas y medicamentos.

Saber más

Tarjetas de Débito y Crédito

Visa

Mastercard

American Express

Dinners

Discover

Alias

Pagos a través de PayPal

Compra procesada en dólares con dinero en cuenta o tarjetas internacionales.

PayPal

¿Cómo comprar?

Hacemos todo por ti

Información para tu compra

  • Debes ser ciudadano Uruguayo mayor de 18 años.
  • Los datos del titular de la tarjeta, deben coincidir con los datos del titular de la compra.
  • Cada compra tiene límite de USD 200 en valor de productos sin incluir el costo del envío.
  • Hay determinados productos que están prohibidos por la aduana de tu país. Ver productos prohibidos
  • Compras ilimitadas en Libros , CDs , DVDs y Vinilos
Ver más información

Tarjetas de Débito, Crédito y Deuna

Visa

Mastercard

American Express

Dinners

Discover

Alias

Pagos a través de Deuna

Deuna

Pagos a través de PayPal

Compra procesada en dólares con dinero en cuenta o tarjetas internacionales.

PayPal

Garantía de entrega

Con Tiendamia todas tus compras cuentan con Garantía de Entrega o devolución total de tu dinero.

Compras 100% seguras y garantizadas, para que pidas lo que sueñas y lo recibas del mundo a tu puerta.

Compra como si vivieras fuera, pero desde cualquier lugar de Ecuador

Bienvenido a Tiendamia, donde podrás acceder a más de mil millones de productos del mundo con tan solo un clic. ¡Suscríbete a nuestro newsletter y disfruta de ofertas exclusivas!