Logic and discrete mathematics : a concise introduction, solutions manual /
Conradie, Willem,1978-author.
Goranko, Valentin,author.
Robinson, Claudette,1985-author.
Logic, Symbolic and mathematical.
Computer science