History And Philosophy Of Constructive Type Theory, De Giovanni Sommaruga. Editorial Springer, Tapa Blanda En Inglés

Descripción

Explora las profundidades de la lógica matemática y la filosofía de la matemática con "History and Philosophy of Constructive Type Theory" de Giovanni Sommaruga, una obra imprescindible publicada por la prestigiosa editorial Springer. Este libro, presentado en tapa blanda y escrito íntegramente en inglés, es una fuente de conocimiento invaluable tanto para estudiantes como para profesionales del campo. A través de sus páginas, Sommaruga ofrece una visión detallada del desarrollo y las aplicaciones de la teoría de tipos constructiva, un tema esencial para aquellos interesados en comprender los fundamentos de la matemática moderna. Sin restricciones de edad, este libro es accesible para todos, desde el lector más joven hasta el centenario, y promete enriquecer la mente sin necesidad de tecnologías como la realidad aumentada. Sumérgete en este relato erudito y descubre la evolución de un campo fascinante de estudio.

Aviso legal
• Edad recomendada: de 0 años a 100 años.