Il libro è attualmente esaurito
Maggiori informazioni sul 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.
Acquisto del libro
Treatise on Intuitionistic Type Theory, Johan Georg Granström
- Lingua
- Pubblicato
- 2013
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.