A General Algebraic Semantics for Sentential Logics

Introduction to Formal Logic

Logic: The Theory of Formal Inference

Mathematical Logic A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Logic and Computation: Interactive Proof with Cambridge LCF

Algebraic Logic

Analogies and Theories Formal Models of Reasoning

Logic and Boolean Algebra

Partially Ordered Algebraic Systems

Introduction to Logic

An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems

Systems of Logic

Systems of Logic

The Languages of Logic An Introduction to Formal Logic

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

Proof and Disproof in Formal Logic An Introduction for Programmers

Introduction to Symbolic Logic and Its Applications

An Introduction to Algebraic Structures

Formal Languages in Logic: A Philosophical and Cognitive Analysis

Logics and Languages

An Introduction to Description Logic

The Cambridge Handbook of Formal Semantics

Elements of Formal Semantics: An Introduction to the Mathematical Theory of Meaning in Natural Language (Edinburgh Advanced Textbooks in Linguistics)

Topoi The Categorial Analysis of Logic

Introduction to Formal Logic

Elementary Formal Logic

A Course in Model Theory: An Introduction to Contemporary Mathematical Logic

Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic

Category Theory and Computer Science - (Lecture Notes in Computer Science) by David H Pitt & Axel Poigne & David E Rydeheard (Paperback)

Advances in Logic Programming Theory

Ordered Algebraic Structures and Related Topics

Studies and Exercises in Formal Logic

The Art of Reasoning: An Introduction to Logic

ART OF REASONING: MODERN & FORMAL LOGIC ED

An Introduction to the Philosophy of Logic

Foundations of Knowledge Representation and Reasoning (Paperback)

beginners guide to mathematical logic

Properties, Types and Meaning: Volume II: Semantic Issues

Meaning and Argument: An Introduction to Logic Through Language

Introductory and Intermediate Algebra

Pre-Owned Applied Logic: Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel (Hardcover)

Logic Colloquium '02: Lecture Notes in Logic 27: Lecture Notes in Logic 27

Handbook of Logic in Computer Science Handbook of Logic in Computer Science: Volume 3: Semantic Structures (Hardcover)

Mathematical Logic

Philosophy of Logics

Well-structured Mathematical Logic

A Concise Introduction to Logic (Paperback)

Introduction to Semantics and Formalization of Logic

Introduction to Formal Logic