Izomorfizm Curry'ego-Howarda

Język wykładowy Angielski
Semestr Zimowy
Status W ofercie
Opiekun Małgorzata Biernacka
Liczba godzin
Rodzaj Seminarium
ECTS 6
Polecany dla I roku Nie
Egzamin Nie

Opis przedmiotu:

Brak