Nimal Nissanke. Introductory logic and sets for computer scientists. Addison-Wesley-Longman, 1998.
@book{0095354,
title = {Introductory logic and sets for computer scientists},
author = {Nimal Nissanke},
year = {1998},
tags = {logic},
researchr = {https://researchr.org/publication/0095354},
cites = {0},
citedby = {0},
publisher = {Addison-Wesley-Longman},
isbn = {978-0-201-17957-6},
}