Computational Logic and Set Theory: Applying Formalized Logic to Analysis by Jac

Computational Logic and Set Theory : Applying Formalized Logic to Analysis by...

Computational Logic and Set Theory : Applying Formalized Logic to Analysis, H...

Advanced Topics in Computational Number Theory by Cohen

Computational Logic and Proof Theory : 5th Kurt Godel Colloquium, Kgc'97, Vie...

Schwartz - Computational Logic and Set Theory Applying Formalized Lo - X555z

Algebraic Systems of Equations and Computational Complexity Theory by Z. Wang (E