• Libros
  • Treatise on Intuitionistic Type Theory
Treatise on Intuitionistic Type Theory
Granstrom, Johan Georg
Anglès
EAN
9789400717350
Editorial
SPRINGER
Any d'edició
2011
Pàgines
196
Idioma
Anglès
Col·lecció
Logic, Epistemology, and the Unity of Science
Alt
235
Ample
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
Deixa’ns la teva opinió
0 opinions
Tu puntuación
Déjanos tu opinión
/ caracteres