Logic for Computer Science: Foundations of Automatic Theorem Proving - Tapa blanda

Gallier, Jean

 
9780471615460: Logic for Computer Science: Foundations of Automatic Theorem Proving

Otras ediciones populares con el mismo título