TY - BOOK AU - Wasilewska TI - Logics For Computer Science-Classical And Non-Classical SN - 9783319925905 U1 - 511.32 PY - 2018/// PB - Springer Verlag KW - Computer Science, It ER -