Uvod u matematičku logiku i osnove matematike - Čulina, Boris (Veleučilište, 2012)