SKU/Artículo: AMZ-9056992678

Lectures on Mathematical Logic, Volume II

Format:

Hardcover

Hardcover

Paperback

Detalles del producto
Disponibilidad:
En stock
Peso con empaque:
0.91 kg
Devolución:
No
Condición
Nuevo
Producto de:
Amazon
Viaja desde
USA

Sobre este producto
  • In this volume, logic starts from the observation that in everyday arguments, as brought forward by say a lawyer, statements are transformed linguistically, connecting them in formal ways irrespective of their contents. Understanding such arguments as deductive situations, or "sequents" in the technical terminology, the transformations between them can be expressed as logical rules. The book concludes with the algorithms producing the results of Gentzen's midsequent theorem and Herbrand's theorem for prenex formulas.
U$S 302,02
44% OFF
U$S 167,79

IMPORTÁ FACIL

Comprando este producto podrás descontar el IVA con tu número de RUT

NO CONSUME FRANQUICIA

Si tu carrito tiene solo libros o CD’s, no consume franquicia y podés comprar hasta U$S 1000 al año.

U$S 302,02
44% OFF
U$S 167,79

¡Comprá en hasta 12 cuotas sin interés con todas tus tarjetas!

Llega en 25 o más días hábiles
con envío
Tienes garantía de entrega