First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science) - Tapa dura

Fitting, Melvin

 
9780387972336: First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science)

Otras ediciones populares con el mismo título