Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory (Studies in Logic, . Logic and Cognitive Systems)

Name: Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory (Studies in Logic, . Logic and Cognitive
Price: 1128.59 BOB
Availability: InStock

ID del producto: 620761412

Transacción segura

Comprados juntos con frecuencia

Descripción

Preguntas comunes

Trustpilot

Trustscore 4.5 | Más de 7,300 reseñas

Yusuf A.

En general, fue una experiencia fantástica. Se lo recomendaré a mis amigos y familiares.

Hace 1 mes

Sneha T.

Recibí mi producto en perfectas condiciones. Excelente servicio en general.

Hace 1 mes

Ver todas las reseñas de confianza

Compre globalmente, ahorre con Desertcart

Valor por dinero

Precios competitivos en una amplia gama de productos.

Compre globalmente

Sirviendo a más de 300 millones de compradores en más de 200 países

Protección mejorada

Opciones de pago confiables que adoran los compradores de todo el mundo

Garantía del cliente

Opciones de pago confiables amadas por los compradores de todo el mundo.

Aplicación DesertCart

Compre sobre la marcha, en cualquier momento y en cualquier lugar.

Bs.1128

Boliviaalmacenar

Devoluciones gratuitas

30 diaspara usuarios de membresía PRO

15 diassin membresía

Transacción segura

Trustpilot

Trustscore 4.5 | Más de 7,300 reseñas

Farhan Q.

El tiempo de entrega fue excelente y el embalaje fue seguro.

Hace 2 meses

Anjali K.

La calidad del producto es excelente. Exactamente lo que necesitaba para mi trabajo.

Hace 1 mes

Ver todas las reseñas de confianza