Application Logic (English Version, 2nd Edition)

Author: Anil Nerode
Publisher:
Publish Date: 2006-09-01
Features: This textbook introduces mathematical logic by combining its application in computer science, emphasizing the concept of deduction as a form of computation. While the book covers all traditional logic topics, most of the discussions focus on other subjects such as resolution theorem proving, logic-based programming, and non-classical logics, which are becoming increasingly important in modern computer science. Additionally, the book systematically introduces the fundamentals of set theory and provides a historical overview of the subject. It does not require readers to have prior knowledge of logic and is suitable for advanced undergraduate students in computer science and mathematics, as well as early-stage graduate students.