Using Sophisticated Models in Resolution Theorem ProvingDavid M. Sandford€ 25,49Laatste exemplaar4,3In winkelmandje