Handbook of logic in computer science

Détails bibliographiques
Format: Livre
Langue:English
Publié: Oxford Clarendon Press 1995.
Sujets: