Logics for computer science: classical and non-classical
Auteur :
Wasilewska, Anita
Éditeur :
Springer International Publishing AG
ISBN :
9783319925905
Date de publication :
13 nov. 2018
Dimensions :
25,4 x 17,8 cm
Langue :
Anglais
Pays d'origine :
Suisse
Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists.