Anita Wasilewska, آنیتا واسیلوسکا آنیتا واسیلوسکا انبازیها: Logics for Computer Science, Classical and Non-Classical گویایی برای دانش رایانش 2018 نگارنده آنیتا واسیلوسکا