Mathematical Logic is a book published by People's Posts and Telecommunications Publishing House in 2006. The author is Ndeten. The book covers propositional logic, first-order logic, uncertainty and second-order logic, and includes topics related to computer science, such as finite models.