Logic for Computer Science: Foundations of Automatic Theorem Proving - Couverture souple

Gallier, Jean

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

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  0060422254 ISBN 13 :  9780060422257
Editeur : Longman Higher Education, 1986
Couverture rigide