TAMÁS, K.; ROBU, J. MATEMATIKAI LOGIKA PÉLDATÁR; Presa Universitară Clujeană, 2010.