Handbook of logic in computer science

Opis bibliograficzny
Kolejni autorzy:	Dov M. Gabbay, T.S.E. Maibaum
Format:	Książka
Język:	English
Wydane:	Oxford Clarendon 1995
Hasła przedmiotowe:	Computer Science. Logic, Symbolic and mathematical.