The Handbook of Logic in Computer Science

Bibliographic Details
Other Authors: Abramsky, S
Format: Book
Published: Oxford University Press 2000