Handbook of logic in computer science

Bibliografiset tiedot
Muut tekijät:	Dov M. Gabbay, T.S.E. Maibaum
Aineistotyyppi:	Kirja
Kieli:	English
Julkaistu:	Oxford Clarendon 1995
Aiheet:	Computer Science. Logic, Symbolic and mathematical.