Mathematical Logic Foundations for Information Science /

• Main Author: Li, Wei (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Basel : Birkhäuser Basel, 2010.
• Series: Progress in Computer Science and Applied Logic (PCS) ; 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...