First Order Logic and Automated Theorem Proving (0)

by M Fitting