Home › Books › First-Order Logic and Automated Theorem Proving (Texts in C…
First-Order Logic and Automated Theorem Proving (Texts in Computer Science) Buy on Amazon

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

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

AuthorMelvin Fitting
PublisherSpringer
Shop on Amazon — choose your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
82.48 USD
Buy New on Amazon 🇺🇸

Book Details

Author(s)Melvin Fitting
PublisherSpringer
ISBN / ASIN1461275156
ISBN-139781461275152
MarketplaceUnited States  🇺🇸

More Books by Melvin Fitting

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
First-Order Logic and Automated Theorem Proving (Texts…
View
Incompletetude Na Terra DOS Conjuntos (Portuguese Edition)
Incompletetude Na Terra DOS Conjuntos (Portuguese Edit…
View
Incompleteness in the Land of Sets (Studies in Logic)
Incompleteness in the Land of Sets (Studies in Logic)
View
First-Order Modal Logic
First-Order Modal Logic
View
Donate to EbookNetworking
Prev
Next