Mathematical logic for computer science /

Hlavní autor:
Typ dokumentu: Kniha
Jazyk: angličtina
Vydavatel: London : Springer-Verlag, [2012].
Vydání: Third Edition
Předmět: