CURRENTLY SOLD OUT

Using Sophisticated Models in Resolution Theorem Proving: v. 90 by David M. Sandford (Paperback, 1980)