Kniha momentálne nie je na sklade
Viac o knihe
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.
Nákup knihy
Treatise on Intuitionistic Type Theory, Johan Georg Granström
- Jazyk
- Rok vydania
- 2013
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Nikto zatiaľ neohodnotil.