数理逻辑,

数理逻辑(恩德滕著图书)
1-数理逻辑ppt
数理逻辑引论
数理逻辑基础
数学逻辑入门