First-Order Logic and Automated Theorem Proving

Más información sobre el 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.