Sławomir Kolasiński: strona autora

Proste zadanie o wielomianach

Obliczalność, rachunek lambda i liczby naturalne

Typy i tautologie