History and philosophy of constructive type theory

Name: History and philosophy of constructive type theory
Author: Giovanni Sommaruga
ISBN: 9789048154036

0.0

History and philosophy of constructive type theory es un type theory, mathematics, philosophy book de Giovanni Sommaruga.

Descubre History and philosophy of constructive type theory de Giovanni Sommaruga, type theory.

Sobre el Autor

es el autor de History and philosophy of constructive type theory. Explora su catálogo completo en Booklogr.

Sin reseñas aún. ¿Has leído este libro? Comparte tus opiniones con la comunidad de Booklogr.

Iniciar sesión Inicia sesión para escribir una reseña

¿De qué género es History and philosophy of constructive type theory?+

History and philosophy of constructive type theory es un libro de Type theory, Mathematics, philosophy.

¿Quién escribió History and philosophy of constructive type theory?+

History and philosophy of constructive type theory fue escrito por Giovanni Sommaruga.