Handbook of logic in computer science

Détails bibliographiques
Autres auteurs:	Dov M. Gabbay, T.S.E. Maibaum
Format:	Livre
Langue:	English
Publié:	Oxford Clarendon 1995
Sujets:	Computer Science. Logic, Symbolic and mathematical.