我想自学数理逻辑，怎么购买相应的教材

面向计算机科学的数理逻辑(第二版)
陆钟万
科学出版社
非常数学化的一本书

数理逻辑（英文影印版）（第2版）
（美）Herbert B.Enderton
人民邮电出版社
除了一阶逻辑，还介绍二阶逻辑、计算理论

数理逻辑（修订版·影印版）
A.G.Hamilton
清华大学出版社
入门书，讲一阶系统和计算理论

数理逻辑基础：一阶逻辑与一阶理论
陈慕泽;余俊伟
中国人民大学出版社
如果不是理工科或者逻辑专业，可以看看这本

经典逻辑与非经典逻辑基础
杜国平
高等教育出版社
除了一阶逻辑，还讲模态逻辑、时态逻辑等非经典逻辑

这些书china-pub上都有卖的
如果再简单点，任何计算机专业的离散数学都会讲些数理逻辑和集合论，比较简单，可以以此为基础，再补充些一阶系统的知识，基本就够用了
以后不管是向模态逻辑、模型论、集合论、计算理论方向发展都有一个基础了

书店有专门的介绍，要买带讲解的。