Tarskijev svet ali zabavno učenje logike s pomočjo računalniškega programa

URN:NBN:SI:doc-76H3BTNA2014Gartner, Smiljanadocuments/doc/7/URN_NBN_SI_doc-76H3BTNA_001.pdfdocuments/doc/7/URN_NBN_SI_doc-76H3BTNA_001.txt416articlestr. 20-260351-665217059929URN:NBN:SI:doc-76H3BTNAslvDMFA-založništvoPresekInCcomputer scienceizjavni računlogika prvega razredaprogram Tarskijev svetračunalništvosimbolizacijaTarskijev svet ali zabavno učenje logike s pomočjo računalniškega programa