Logic from computer science | lit.salon