Il libro è attualmente esaurito
Maggiori informazioni sul libro
Focusing on automated theorem proving in classical logic, this book serves computer scientists while also appealing to philosophers and mathematicians. It provides a theoretical treatment of formal logic, emphasizing truth in mathematical discourse and exploring models and their properties. Although not a practical guide, it addresses how-to issues and covers essential proof techniques, including completeness, making it suitable for those seeking a comprehensive understanding of formal logic within various fields of computer science.
Acquisto del libro
First-Order Logic and Automated Theorem Proving, Melvin Fitting
- Lingua
- Pubblicato
- 2013
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.