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: | |
| Language: | English |
| Published: |
Basel :
Springer Basel : Imprint: Birkhäuser,
2014.
|
| Edition: | 2nd ed. 2014. |
| Series: | Progress in Computer Science and Applied Logic,
25 |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-0348-0862-0 |