Logic for Computer Science

Foundations of Automatic Theorem Proving



Voorzijde

Niet beschikbaar

ISBN: 9780060422257
Uitgever: Harper & Row
Verschijningsvorm: Hardcover
Auteur: Jean H. Gallier
Taal: Engels