Gå direkte til innholdet
Logics for Computer Science
Spar

Logics for Computer Science

innbundet, 2018
Engelsk
Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists.
Undertittel
Classical and Non-Classical
Opplag
2018 ed.
ISBN
9783319925905
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
13.11.2018
Antall sider
535