Logic and discrete mathematics : a concise introduction /
Conradie, Willem,1978-author.
Goranko, Valentin,author.
Includes index.
Logic, Symbolic and mathematical.
Computer science