• Libros
  • Treatise on Intuitionistic Type Theory
Treatise on Intuitionistic Type Theory
Granstrom, Johan Georg
Inglés
EAN
9789400717350
Editorial
SPRINGER
Ano de edición
2011
Páxinas
196
Idioma
Inglés
Colección
Logic, Epistemology, and the Unity of Science
Alto
235
Ancho
155
Sin Stock
Envío gratis
Entrega: a partir de 10 días laborales
145,59 €
-5%
138,31 €
Otros lectores lo han calificado con
Déixanos a túa opinión
0 opinions
Tu puntuación
Déjanos tu opinión
/ caracteres