Envío express desde $5  Ver más

Enviar a
Quito, Pichincha
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Selecciona tu país

América

Europa

Resto del mundo

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

Herbrandization (en Inglés)

Libro Nuevo Importado
Envío: 25 a 32 días háb.
$ 287.24$ 157.98
-45%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan 10 unidades

$ 157.98
Llega entre el 14 Oct y el 27 Oct a Quito, Pichincha. Seleccionar ubicación

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

High Quality Content by WIKIPEDIA articles! The Herbrandization of a logical formula (named after Jacques Herbrand) is a construction that is dual to the Skolemization of a formula. Thoralf Skolem had considered the Skolemizations of formulas in prenex form as part of his proof of the Lwenheim-Skolem theorem (Skolem 1920). Herbrand worked with this dual notion of Herbrandization, generalized to apply to non-prenex formulas as well, in order to prove Herbrand's theorem (Herbrand 1930).

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