Mathematical logic for computer science /

Hlavní autor:
Typ dokumentu: Kniha
Jazyk: angličtina
Vydavatel: London : Springer, c2012.
Vydání: 3rd ed.
Předmět: