Handbook of logic in computer science

Handbook of logic in computer science

Opis bibliograficzny
Format: Książka
Język:English
Wydane: Oxford Clarendon Press 1995.
Hasła przedmiotowe:
Computer science.
Logic, Symbolic and mathematical.