Tamme, TõnuTammet, TanelPrank, Rein2012-03-082012-03-0819979985562313http://hdl.handle.net/10062/24397etloogikamatemaatiline loogikaprogrammeerimineintellektitehnikaLoogika: mõtlemisest tõestamiseniBook