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