Recenze Type Theory and Formal Proof

Type Theory and Formal Proof

Type Theory and Formal Proof

Kamareddine, Fairouz; Nederpelt, Rob
2 200 Kč
Zobrazit knihu
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory. číst celé 

Recenze

0
Ověřené recenze jsou tak výslovně označené, ostatní jsou neověřené.
Nejsou zde žádné recenze. Buďte první a napište svoji!