Knihu momentálně nemáme skladem
Více o knize
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 vydání
- 2013
- product-detail.submit-box.info.binding
- (měkká)
Jakmile se objeví, pošleme e-mail.
Doručení
Platební metody
Nikdo zatím neohodnotil.