Interactive Theorem Proving and Program Development
Brand: Springer


Used Book in Good Condition