Mathematical logic for computer science /

Hlavní autor:
Typ dokumentu: Kniha
Jazyk: angličtina
Vydavatel: London ; New York, N.Y. : Springer, c2001.
Vydání: 2nd ed.
Předmět:
Externí odkaz: Publisher description
Table of contents only