First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

Name: First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Author: Melvin Fitting
ISBN: 9781461275152

Author Melvin Fitting

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

82.48 USD

Book Details

ISBN / ASIN1461275156

ISBN-139781461275152

MarketplaceUnited States 🇺🇸