1
Εξώφυλλο
ανά Srensen, Morten Heine
Έκδοση 2006
Άλλοι συγγραφείς: '; “...Urzyczyn, Pawe...”
Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email

Σχετικά θέματα

Curry-Howard isomorphism Lambda calculus Proof theory