Recenzió Type Theory and Formal Proof

Type Theory and Formal Proof
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory. tovább 

Recenzió

0
Az ellenőrzött értékelések kifejezetten meg vannak jelölve, a többi nem ellenőrzött.
Semmilyen recenzió. Legyen Ön az első, írjon recenziót!