Matemaatilise loogika põhimõisteid : ülevaade rekursiooniteooria põhimõistetest ja tulemustest
Lorents, Peeter
Arvutustehnika ja Andmetöötlus
1990
/
1, lk. 35-40; 2, lk. 27-32; 3, lk. 32-38; 4, lk. 40-43