10 libri per 10 euro qui
Bookbot

David M. Sandford

    Using Sophisticated Models in Resolution Theorem Proving