Logica e deduzione automatica per le applicazioni (UNITEXT / Collana di Informatica)

Silvio Ghilardi , Silvio Ranise