Handbook of Logic in Computer Science: Volume 2: Background | lit.salon