Logics for Computer Science

Auteur: Wasilewska, Anita
Editeur: Springer International Publishing AG
Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists.

En stock

Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists.
ISBN / EAN 9783319925905
Auteur Wasilewska, Anita
Editeur Springer International Publishing AG