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

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

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

Oxford Applied Mathematics and Computing Science Ser.: Matrices : Methods and A…

Logic, Mathematics, and Computer Science - 9781493937134

Recursive Function Theory and Logic Computer Science and Applied Mathematics Yas