Logic for Computer Science: Foundations of Automatic Theorem Proving - Softcover

Gallier, Jean

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

Weitere beliebte Ausgaben desselben Titels