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