TY  - BOOK
AU  - Wasilewska,Anita
TI  - Logics for computer science : : classical and non-classical 
SN  - 9783319925912
U1  - 004.2 WAS/L 
PY  - 2018///
CY  - Switzerland
PB  - Springer
KW  - Artificial intelligence
KW  - Computer logic
KW  - Mathematical logic
KW  - Logics and Meanings of Programs
KW  - Artificial Intelligence
KW  - Mathematical Logic and Foundations
ER  -