Using Sophisticated Models in Resolution Theorem ProvingDavid M. Sandford25,49 €Ultima copia4,3Aggiungi al carrello
