Handbook of logic in computer science

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