A formalization of the Naive type theoryAgnieszka Kozubek-Krycuń
A formalization of the Naive type theory
1 biblioteka1 wydanie · 2011
Biblioteka Wydziału Matematyki, Informatyki i Mechaniki
Uniwersytet Warszawski · Warszawastanbardzo niski
Egzemplarze: Biblioteka Narodowa. Lokalizacje bibliotek m.in.: © współtwórcy OpenStreetMap.