Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Formal Logic: Propositional Logic, Predicate Logic, Modal Logic, and Non-Classical Logics

Formal Logic: Propositional Logic, Predicate Logic, Modal Logic, and Non-Classical Logics

Sina, Lucien

Paperback

Fiction

ISBN10: 3695162104
ISBN13: 9783695162109
Publisher: Bod - Books on Demand
Published: May 19 2026
Pages: 760
Weight: 1.63
Height: 1.51 Width: 5.00 Depth: 8.00
Language: English
Why do some statements necessarily imply others - and why do even the strongest formal systems have limits? Logic offers the tools to explore these questions with precision, clarity, and depth. This book provides a rigorous yet accessible introduction to logical reasoning, from propositional and predicate logic to modal logic and non-classical logics. It presents the essential concepts, methods, and procedures in a clear and structured way, with attention not only to formal systems but also to structure, meaning, and inference. Classical topics such as equivalences, normal forms, and resolution are complemented by algorithmic methods for automated reasoning and a detailed treatment of Gödel's incompleteness theorems. Modern perspectives, including modal logic, fuzzy logic, default logic, and answer set programming, round out the presentation. With numerous exercises and carefully worked solutions, this book is ideal for students and readers who want to think more clearly, argue more precisely, and gain a deeper understanding of the foundations of mathematics and computer science.

Also from

Sina, Lucien

View All

Also in

Fiction

View All