Logic for Computer Science and Artificial Intelligence

Introduction to Logic

ARTIFICIAL INTELLIGENCE: This book has been written for the B.COM /LLB/ MBA/ BBA /ME /M.TECH /BE /B.Tech students.

A First Course in Logic An Introduction to Model Theory, Proof Theory, Computability, and Complexity

Studies in Computational Intelligence Model-Based Reasoning in Science and Technology: Abduction Logic and Computational Discovery Book 314 (Paperback)

Introduction to Formal Logic

Lecture Notes in Computer Science Computer Science Logic: 11th International Workshop Csl 97 Annual Conference of the Eacsl Aarhus Denmark August 23- Book 1414 (Paperback)

ART OF REASONING: MODERN & FORMAL LOGIC ED

Introductory Formal Logic of Mathematics (Hardcover)

Logic: The Theory of Formal Inference

Logic Colloquium 2000 (hardcover): Lecture Notes in Logic, 19

Logic Colloquium 2000 (hardcover): Lecture Notes in Logic, 19

Pre-Owned A Concise Introduction to Logic (Paperback) 0357798686 9780357798683

Pre-Owned Introduction to Mathematical Logic (Extended Edition) (Paperback)

Progress in Theoretical Computer Science Logic of Domains (Hardcover)

Formal Logic

Studies in Computational Intelligence Knowledge-Driven Computing: Knowledge Engineering and Intelligent Computations Book 102 (Paperback)

Synthese Library A Precis of Mathematical Logic Book 1 (Paperback)

concise introduction to logic

Logics in Artificial Intelligence: 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part II

Pre-Owned Logic for Mathematicians (Paperback) 0521368650 9780521368650

Mathematics and Logics in Computer Science: Proceedings of ICMLCS 2024

Lecture Notes in Logic Logic Colloquium 2007 Book 35 (Hardcover)

Pre-Owned The Nature of Computation: Logic Algorithms Applications (Paperback)

Pre-Owned Logic Programming with PROLOG (Paperback)

An introduction to Propositional Logic and Set Theory: Foundations of Mathematical Reasoning. Worked Examples and Exercises (Understanding Calculus Book 1)

A First Course in Mathematical Logic and Set Theory

A First Course in Mathematical Logic and Set Theory

Studies in Computational Intelligence Model-Based Reasoning in Science and Technology: Abduction Logic and Computational Discovery Book 314 (Hardcover)

Methods and Applications of Mathematical Logic

Applied Logic Proof Theory and Automated Deduction Book 6 (Paperback)

The Logica Yearbook 2022 - by Igor Sedlár (Paperback)

Pre-Owned The Languages of Logic: An Introduction to Formal Logic

Classical Mathematical Logic: The Semantic Foundations of Logic (Hardcover)

Logic and Computation

logic and discrete mathematics a concise introduction

A Course on Mathematical Logic

Pre-Owned forall x: An Introduction to Formal Logic (Paperback)

Propositional and Predicate Calculus: A Model of Argument (Paperback)

Foundations of Knowledge Representation and Reasoning (Paperback)

An Introduction to Philosophical Logic

The Game of Logic

Pre-Owned A Beginner s Further Guide to Mathematical Logic (Paperback)

Pre-Owned Introduction to Logic Paperback

Synthese Library The Heuristic View: Logic Mathematics and Science Book 502 (Hardcover)

Artificial Intelligence for Engineers: Basics and Implementations

Studies in Computational Intelligence Intelligent Information Access Book 301 (Hardcover)

Understanding Artificial Intelligence Fundamentals and Applications

Lecture Notes in Computer Science Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning Ruleml+rr 2022 Berlin Germany Septemb Book 13752 (Paperback)