面向计算机科学的数理逻辑 /Mian xiang ji suan ji ke xue de shu li luo ji

Logic in Computer Science-Second Edition written by Zhongwan Lu introduces the basic knowledge of logics which is interrelated and also connects closely to computer science, such as the constructive and model logic in classical and non-classical logics. With the consideration of the features of logical system as well as the requirements of computer science technology, this book shows the research of the backgrounds, languages, semantics, form deductions as well as the reliability and completeness of all kind of logics. Exercises are also provided for most chapters.