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