¡CELEBREMOS A MÉXICO A LO GRANDE! CON LIBROS Y SUPER DESCUENTOS   Ver más

Enviar a
CUAUHTÉMOC, Ciudad de México
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Selecciona tu país

América

Europa

Resto del mundo

portada Intermediate Logic (en Inglés)
Formato
Libro Físico
Idioma
Inglés
Encuadernación
Tapa Blanda
Dimensiones
0 x 0 cm
ISBN13
9786130750930

Intermediate Logic (en Inglés)

Libro Nuevo Importado
Envío: 22 a 27 días háb.
$ 5,274.42$ 3,164.65
-40%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan 10 unidades

$ 3,164.65
¡Envío Gratis!  Llega entre el 08 Oct y el 16 Oct a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Reseña del libro "Intermediate Logic (en Inglés)"

In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic. Classical logic is the strongest consistent superintuitionistic logic. Thus consistent superintuitionistic logics are called intermediate logics (the logics are intermediate between intuitionistic logic and classical logic). Specifically, a superintuitionistic logic is a set L of propositional formulas in a countable set of variables pi satisfying the following properties: all axioms of intuitionistic logic belong to L; if F and G are formulas such that F and F G both belong to L, then G also belongs to L (closure under modus ponens); if F(p1, p2, ..., pn) is a formula of L, and G1, G2, ..., Gn are any formulas, then F(G1, G2, ..., Gn) belongs to L (closure under substitution). Such a logic is intermediate if furthermore L is not the set of all formulas.

Opiniones del libro

Preguntas frecuentes sobre el libro

Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Blanda.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes