Handbook of logic in computer science

Bibliografiska uppgifter
Övriga upphovsmän:	Dov M. Gabbay, T.S.E. Maibaum
Materialtyp:	Bok
Språk:	English
Publicerad:	Oxford Clarendon 1995
Ämnen:	Computer Science. Logic, Symbolic and mathematical.