Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures

Bok av Dov M. Gabbay