Domolki B Ed. Mathematical logic in computer science. - 1981 Standard No.: 82017 Source: Textual Dewey Class. No.: R14obD6,8(B), M1