Uvod u matematičku logiku : teorija i zadaci - Prešić, Marica (Matematički institut, 1984)