Un viaje entre libros  Ver más

Enviar a
Provincia de Madrid
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

portada Higher-Order Logic and Type Theory (Elements in Philosophy and Logic) (en Inglés)
Formato
Libro Físico
Autor
Editorial
Año
2022
Idioma
Inglés
N° páginas
75
Encuadernación
Tapa Blanda
Dimensiones
22.9 x 15.2 x 0.5 cm
Peso
0.13 kg.
ISBN13
9781108986908
Categorías

Higher-Order Logic and Type Theory (Elements in Philosophy and Logic) (en Inglés)

John L. Bell (Autor) · Cambridge University Press · Tapa Blanda

Higher-Order Logic and Type Theory (Elements in Philosophy and Logic) (en Inglés) - Bell, John L.

Libro Nuevo Origen: España
Envío: 6 a 7 días háb.
29,99 €28,49 €
-5%
Libro Nuevo

Quedan 50 unidades

28,49 €
Llega entre el 30 Jul y el 04 Ago a Provincia de Madrid. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de envío

Reseña del libro "Higher-Order Logic and Type Theory (Elements in Philosophy and Logic) (en Inglés)"

This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts with first-order logic. This leads to a discussion of higher-order logic based on the concept of a type. The second Section contains an account of the origins and nature of type theory, and its relationship to set theory. Section 3 introduces Local Set Theory (also known as higher-order intuitionistic logic), an important form of type theory based on intuitionistic logic. In Section 4 number of contemporary forms of type theory are described, all of which are based on the so-called 'doctrine of propositions as types'. We conclude with an Appendix in which the semantics for Local Set Theory - based on category theory - is outlined.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

¿Cuál es la encuadernación de este libro?

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