First-Order Logic and Automated Theorem Proving - Softcover

Fitting, Melvin

 
9781468403589: First-Order Logic and Automated Theorem Proving

This specific ISBN edition is currently not available.

Other Popular Editions of the Same Title