Title: Elementary logics
Subjects: Computer science, Symbolic and mathematical Logic