Uvod u matematičku logiku i teoriju rekurzivnih funkcija - Ćirović, Branko (Biblioteka Filozofski niz ;, 1996)