Ingen varer
Gå til kassen
Bemærk: Kan ikke leveres før jul.
Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists.