Logic for Computer Scientists (Progress in Computer Science) | lit.salon