Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied ...

Applied discrete structures for computer science (SRA computer science series)

Applied Scientific Computing: With Python (Texts in Computer Science)

Computer Science and Applied Mathematics Ser.: Elementary Linear Programming...

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mat

1983 Computer Science And Applied Mathematics Computability Complexity & Lang

Recursive Function Theory and Logic Computer Science and Applied Mathematics Yas

Applied Computer Science by Torbert, Shane