Het boek is momenteel niet op voorraad
Meer over het boek
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.
Een boek kopen
Treatise on Intuitionistic Type Theory, Johan Georg Granström
- Taal
- Jaar van publicatie
- 2013
- product-detail.submit-box.info.binding
- (Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.