Lectures on the Curry-Howard isomorphismMorten Heine Sørensen
Lectures on the Curry-Howard isomorphism
3 biblioteki1 wydanie · 2006
Biblioteka Wydz. Matematyki i Informatyki
Uniwersytet Mikołaja Kopernika w Toruniu · Toruństanbardzo niski
Biblioteka Wydziału Matematyki I Informatyki
Uniwersytet Jagielloński · Krakówstanbardzo niski
Biblioteka Wydziału Matematyki, Informatyki i Mechaniki
Uniwersytet Warszawski · Warszawastanbardzo niski
Egzemplarze: Biblioteka Narodowa. Lokalizacje bibliotek m.in.: © współtwórcy OpenStreetMap.