Handbook of Logic in Computer Science: Volume 4. Semantic Modelling Abramsky S. Innbundet / 1995 / Engelsk
Handbook of Logic in Computer Science: Volume 3. Semantic Structures Abramsky S. Innbundet / 1995 / Engelsk
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures Abramsky S. Innbundet / 2001 / Engelsk
Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures Abramsky S. Innbundet / 1992 / Engelsk
Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures Abramsky S. Innbundet / 1992 / Engelsk