Interactive Theorem Proving and Program Development - Bertot, Yves,Castéran, Pie

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

Compiler Contruction Theory and Practice Second Edition Barrett William

Dover Books on Computer Science Ser.: Computability and Unsolvability by Martin

Algebraic System Specification and Development : A Survey and Ann

Computability and Unsolvability by Davis, Martin

A Philosophical Companion to First-Order Logic Paperback

Interactive Theorem Proving and Program Development by Yves Bertot