Logic in Mathematics

Logic from Russell to Church

Model Theory of Operator Algebras

Handbook of Fuzzy Computation

Graph Structure and Monadic Second-Order Logic

Logic of Mathematics

Axiomatic Set Theory

Handbook of Quantum Logic and Quantum Structures

Harmonic Analysis and Convexity

The Ultrapower Axiom

Continua

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Proper and Improper Forcing

Metamathematics of First-Order Arithmetic

Model-Theoretic Logics

Ordinal Definability and Recursion Theory: Volume 3

Computational Logic

Three Views of Logic

Inductive Logic

Handbook of Logic and Language

The Birth of Model Theory

The Determinacy of Long Games

Mediaeval and Renaissance Logic

The Many Valued and Nonmonotonic Turn in Logic

Multi-objective Group Decision Making: Methods Software And Applications With Fuzzy Set Techniques

Philosophy of Logic

A Practical Logic of Cognitive Systems

Mathematics and the Divine

Coherent Systems

Computational Complexity: A Quantitative Perspective

The Rise of Modern Logic: from Leibniz to Frege

Infinite Words

Greek, Indian and Arabic Logic

Advances In Modal Logic, Volume 3

Quantum Theoretic Machines

Handbook of Proof Theory

Handbook of Logic and Language

Logic, Methodology and Philosophy of Science VII

Critical Views of Logic

Algebraic Logic

The Foundations of Mathematics

The Art and Craft of Problem Solving

Logic For Dummies

The Ultimate Mathematical Challenge

Recursion Theory

Sets for Mathematics

Theory of Relations

Mathematical Logic for Computer Science

How to Read and Do Proofs

How to Solve It

Conceptual Mathematics

An Introduction to Mathematical Proofs

Naive Set Theory

Logic

Gödel's Proof

An Introduction to Critical Thinking and Creativity

Basic Category Theory

Set Theory and Logic

Modern Mathematical Logic

A TeXas Style Introduction to Proof

Making Up Your Own Mind

Set Theory

Computability and Unsolvability

Introduction to Logic

Introduction to Analysis

Mathematical Logic

Proof Complexity

Logic

A Course in Model Theory

Proof Analysis

The Search for Mathematical Roots, 1870-1940

Sheaf Theory through Examples

The Joy of Abstraction

Intuitive Axiomatic Set Theory

The Story of Proof

Theoretical Computer Science for the Working Category Theorist

Simply Gödel

Playing with Infinity

Infinity

Elements of Automata Theory

Logic from Russell to Church

Flatland

Introduction to Set Theory, Revised and Expanded

Category Theory in Context

Introduction to Mathematical Logic

Proof Theory

The Matrix Algebra of Logic

Differential and Integral Calculus

Principles of Mathematics. Illustrated

Limits and Derivatives of Real Functions for Physicists

Set Theory

New Directions in Relevant Logic

The Language of Mathematics

An Introduction to Classical and Modal Logics

Development Theory

Principles of Mathematics. Illustrated

Limits and Derivatives of Real Functions for Physicists

Functional and Harmonic Analysis

Polynomial Functors

Uni-variate Polynomials in Analysis

Catalan's Constant to 1, 500, 000 Places

Proof Complexity Generators

Two Applications of Logic to Mathematics

Catalan's Constant to 1, 500, 000 Places

Proof Complexity Generators

The Largest Suslin Axiom

Polynomial Functors

The Theory of Countable Borel Equivalence Relations

A Theory of Truth

Polygraphs: From Rewriting to Higher Categories

An Introduction to Classical and Modal Logics

The Logic of Entailment and its History

Functional and Harmonic Analysis

Uni-variate Polynomials in Analysis

Differential and Integral Calculus

Math Tricks

Principles of Mathematics. Illustrated

The Gold-Bug

Logic For Dummies

Critical Thinking

Modeling and Control of Dynamic Spatially Distributed Systems

Introduction to Logic

Limits and Derivatives of Real Functions for Physicists

Weighted Morrey Spaces

Harmony and Paradox

The Joy of Abstraction

Philosophie der Mathematik

Sheaf Theory through Examples

The Price of Cake

Introduction to Incompleteness

New Directions in Relevant Logic

The Search for Mathematical Roots, 1870-1940

smarTEST Prep

Logic with a Probability Semantics

Inquisitive Logic

The Vienna Circle

Symbolic Logic and the Game of Logic

The Logic Of Names : An Introduction To Boole's Laws Of Thought..

The Ultimate Mathematical Challenge