Gratis Versand ab 16,99 €. Mehr Infos.
Bookbot

Chin-Liang Chang

    Symbolic Logic and Mechanical Theorem Proving