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

Chin-Liang Chang

    Symbolic Logic and Mechanical Theorem Proving