Progress in Computer Science and Applied Logic Ser.: Introduction to Quantum Com

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

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

Undergraduate Topics in Computer Science Ser.: Sets, Logic and Maths for...

Logic, Mathematics, and Computer Science - 9781493937134

Lecture Notes in Computer Science Ser.: Logic-Based Program Synthesis and...

Computer Science and Applied Mathematics Ser.: Probability, Statistics and...

Lecture Notes in Computer Science Ser.: Foundations of Inductive Logic Programmi