Tartu Ülikool. Matemaatika-informaatikateaduskondTartu Ülikool. Tarkvarasüsteemide õppetoolPrank, Rein, juhendajaGolovko, Anton2007-01-092007-01-092004Tartu Ester bibnumber: b16675848http://hdl.handle.net/10062/965esttarkvaraarendusõpitarkvaramatemaatiline loogikamagistritöödÕpiprogramm Bethi tabelite konstrueerimiseksLearning program for Beth's tableaux constructionThesis