Items related to Formal Logic: Propositional Logic, Predicate Logic,...
Formal Logic: Propositional Logic, Predicate Logic, Modal Logic, and Non-Classical Logics - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Formal Logic: Propositional Logic, Predicate Logic,...
Stock Image
Formal Logic
Published by
Bod - Books On Demand Mai 2026, 2026
ISBN 10: 3695162104
ISBN 13: 9783695162109
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 760 pp. Englisch. Seller Inventory # 9783695162109
Stock Image
Formal Logic
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783695162109
Buy New
£ 50.61
£ 5.02 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Formal Logic
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783695162109
Seller Image
Formal Logic : Propositional Logic, Predicate Logic, Modal Logic, and Non-Classical Logics
Print on DemandSeller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Seller Inventory # 9783695162109
Stock Image
Formal Logic: Propositional Logic, Predicate Logic, Modal Logic, and Non-Classical Logics
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783695162109
Stock Image
Formal Logic
Published by
Bod - Books On Demand Mai 2026, 2026
ISBN 10: 3695162104
ISBN 13: 9783695162109
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware Libri GmbH, Europaallee 1, 36244 Bad Hersfeld 760 pp. Englisch. Seller Inventory # 9783695162109
Stock Image
Formal Logic (Paperback)
Print on DemandSeller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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 Goedel'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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9783695162109
Buy New
£ 54.99
£ 37 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Formal Logic | Propositional Logic, Predicate Logic, Modal Logic, and Non-Classical Logics
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Formal Logic | Propositional Logic, Predicate Logic, Modal Logic, and Non-Classical Logics | Lucien Sina | Taschenbuch | Englisch | 2026 | BoD - Books on Demand | EAN 9783695162109 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand. Seller Inventory # 135422856