Explore the latest books of this year!
Bookbot

Chin-Liang Chang

    Symbolic Logic and Mechanical Theorem Proving