portada treatise on intuitionistic type theory (en Alemán)

treatise on intuitionistic type theory (en Alemán)

Formato

Libro Físico

Autor

Johan Georg Granström

Editorial

Springer

Año

2011

Idioma

Alemán

N° páginas

198

Encuadernación

Tapa Dura

Dimensiones

22.9x15.7x1.8 cm

Peso

0.45 kg.

ISBN

9400717350

ISBN13

9789400717350

Categorías

Lógica matemática
Filosofía: lógica
Algoritmos y estructuras de datos

treatise on intuitionistic type theory (en Alemán)

Johan Georg Granström (Autor) · Springer · Tapa Dura

Libro Nuevo Importado

Envío: 16 a 23 días háb.

$ 265.74$ 132.87

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 132.87

Llega entre el 15 Sep y el 28 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "treatise on intuitionistic type theory (en Alemán)"

Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book.