• Libros
  • Treatise on Intuitionistic Type Theory
Treatise on Intuitionistic Type Theory
Granstrom, Johan Georg
Anglais
EAN
9789400717350
Éditorial
SPRINGER
Année d'édition
2011
pages
196
langage
Anglais
Collection
Logic, Epistemology, and the Unity of Science
Haute
235
Largeur
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
Laisse-nous ton avis
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres