Doprava zadarmo od 24,99 €. Viac info.
Bookbot

Chin-Liang Chang

    Symbolic Logic and Mechanical Theorem Proving