Logics for Computer Science | lit.salon