https://www.ebooknetworking.net/books_detail-0060422254.html

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

AuthorJean Gallier

PublisherLongman Higher Education

Shop on Amazon — choose your country

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

Buy New on Amazon 🇺🇸

Book Details

Author(s)Jean Gallier

PublisherLongman Higher Education

ISBN / ASIN0060422254

ISBN-139780060422257

MarketplaceUnited States 🇺🇸

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

Book Details

More Books by Jean Gallier