Delta 11/2008

Obliczalność, rachunek lambda i liczby naturalne