Φορτώνει......
Type theory and formal proof : an introduction /
"Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the...
| Κύριοι συγγραφείς: | , |
|---|---|
| Γλώσσα: | English |
| Έκδοση: |
Cambridge ; New York :
Cambridge University Press,
2014.
|
| Θέματα: | |
| Διαθέσιμο Online: | Cover image |
Διαδίκτυο
Cover imageUniversity of Calicut
| Αντίγραφο | Η τρέχουσα κατάσταση είναι άγνωστη |
|---|