First-Order Logic and Automated Theorem Proving (Texts in Computer Science) Buy on Amazon
Facebook LinkedIn

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

Author Melvin Fitting
Publisher Springer
Shop on Amazon — pick your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
Buy New on Amazon 🇺🇸
Book Details
Author(s) Melvin Fitting
Publisher Springer
ISBN / ASIN 0387945938
ISBN-13 9780387945934
Marketplace United 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
← No Prev
No Next →