Basic Logic and Its Applications in Computer Science | lit.salon