Цахим шуудангийн бүртгэл: Математическая логика и её применения