Mathematical Logic Foundations for Information Science /
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...
Main Author: | |
---|---|
Corporate Author: | |
Format: | Electronic Book |
Language: | English |
Published: |
Basel :
Springer Basel : Imprint: Birkhäuser,
2014
|
Edition: | 2nd ed. 2014 |
Series: | Progress in computer science and applied logic ;
v. 25 |
Subjects: |