Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)

Name: Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)
Author: Jean Gallier
ISBN: 9780060422257

Author Jean Gallier

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

Price not listed

🛒 Buy New on Amazon 🇺🇸

Book Details

Author(s)Jean Gallier

ISBN / ASIN0060422254

ISBN-139780060422257

MarketplaceUnited States 🇺🇸