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