Mathematical Logic Foundations for Information Science /

• Main Author: Li, Wei (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Basel : Springer Basel : Imprint: Birkhäuser, 2014.
• Edition: 2nd ed. 2014.
• Series: Progress in Computer Science and Applied Logic, 25
• Subjects: Computer science.; Mathematical logic.; Computer Science.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of cl...