详细介绍数理逻辑引论与归结原理,主要是数理逻辑方面。