Lógica de orden superior y teoría de tipos

Opiniones de los lectores

Actualmente no hay opiniones de lectores. La calificación se basa en 7 votos.

Título original:

Higher-Order Logic and Type Theory

Contenido del libro:

Exposición de la lógica de segundo orden y de orden superior y de la teoría de tipos.

Incluye la sintaxis y semántica de la lógica clásica de segundo orden y una discusión de la lógica de orden superior basada en el concepto de tipo. También se exploran los orígenes y la naturaleza de la teoría de tipos, su relación con la teoría de conjuntos y descripciones de formas contemporáneas de teoría de tipos.