Цахим шуудангийн бүртгэл: Элементы матемтической логики