Interactive Theorem Proving and Program - Hardcover, by Bertot Yves - Acceptable

Interactive Theorem Proving - 9783319221014

Interactive Theorem Proving: - Paperback, by Beringer Lennart Felty - Very Good

Interactive Theorem Proving - 9783319661063

Interactive Theorem Proving - 9783642323461

Interactive Theorem Proving - 9783642228629

Interactive Theorem Proving - 9783319089690

Interactive Theorem Proving and Program Development: CoqArt: The Calculus of...