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: | 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: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Mathematical Logic Foundations for Information Science /
by: Li, Wei
Published: (2014) -
Mathematical Logic for Computer Science
by: Ben-Ari, Mordechai
Published: (2012) -
Mathematical Problems from Applied Logic I Logics for the XXIst Century /
Published: (2006) -
Logic for Computer Scientists
by: Schöning, Uwe
Published: (2008) -
Probability Logics Probability-Based Formalization of Uncertain Reasoning /
by: Ognjanović, Zoran, et al.
Published: (2016)