Lausearvutus ja hulgateooria elemendid : loengukonspekt : ülesanded
1975
https://www.ester.ee/record=b1303989*est
Lausearvutus ja hulgateooria elemendid : metoodiline materjal
1982
https://www.ester.ee/record=b1265264*est