El libro está agotado actualmente
Más información sobre el libro
Intuitionistic type theory serves as a groundbreaking foundation for mathematics while also functioning as a programming language. It embodies the vision of a universal language for science, merging logical rigor with practical application. This work explores its theoretical underpinnings and implications, offering insights into its role in both mathematical foundations and computational frameworks.
Compra de libros
Treatise on Intuitionistic Type Theory, Johan Georg Granström
- Idioma
- Publicado en
- 2013
- product-detail.submit-box.info.binding
- (Tapa blanda)
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.