Tarskijev svet ali zabavno učenje logike s pomočjo računalniškega programa - Gartner, Smiljana (Presek, 2014)
Keywords: computer science; izjavni račun; logika prvega razreda; program Tarskijev svet; računalništvo; simbolizacija