Melvin Fitting · 1 obras en el catálogoObrasFFirst-Order Logic and Automated Theorem ProvingFirst-Order Logic and Automated Theorem Proving