计算机科学与逻辑学

我现在年纪大了,搞了这么多年软件,错误不知犯了多少,现在觉悟了。我想,假如我早在数理逻辑上好好下点功夫的话,我就不会犯这么多错误。不少东西逻辑学家早就说了,可我不知道。要是我能年轻20岁的话,就要回去学逻辑。