Siirry suoraan sisältöön
Logics for Computer Science
Tallenna

Logics for Computer Science

Kirjailija:
sidottu, 2018
englanti
Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists.
Alaotsikko
Classical and Non-Classical
Painos
2018 ed.
ISBN
9783319925905
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
13.11.2018
Sivumäärä
535