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-0387945938.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
Buy New on Amazon 🇺🇸

Book Details

Author(s)Melvin Fitting
PublisherSpringer
ISBN / ASIN0387945938
ISBN-139780387945934
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