Logic in Mathematics

Model Theory of Operator Algebras

Harmonic Analysis and Convexity

Model-Theoretic Logics

Axiomatic Set Theory

A Practical Logic of Cognitive Systems

Mathematics and the Divine

Greek, Indian and Arabic Logic

Quantum Theoretic Machines

The Ultrapower Axiom

Continua

Handbook of Fuzzy Computation

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Proper and Improper Forcing

Ordinal Definability and Recursion Theory: Volume 3

Computational Logic

Three Views of Logic

Graph Structure and Monadic Second-Order Logic

Inductive Logic

Handbook of Logic and Language

Handbook of Quantum Logic and Quantum Structures

Logic from Russell to Church

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

Coherent Systems

Computational Complexity: A Quantitative Perspective

The Rise of Modern Logic: from Leibniz to Frege

Infinite Words

Advances In Modal Logic, Volume 3

Handbook of Proof Theory

Handbook of Logic and Language

Logic, Methodology and Philosophy of Science VII

The Art and Craft of Problem Solving

Simply Turing

Stochastic Drawdowns

Recursion Theory

Algebraic Logic

Extrapolation Methods

Sets for Mathematics

Theory of Relations

Mathematical Logic for Computer Science

Logic

How to Read and Do Proofs

An Introduction to Mathematical Proofs

Naive Set Theory

Set Theory

The Foundations of Mathematics

An Introduction to Critical Thinking and Creativity

Gödel's Proof

How to Solve It

Basic Category Theory

Set Theory and Logic

Modern Mathematical Logic

Making Up Your Own Mind

Computability and Unsolvability

Introduction to Logic

Introduction to Analysis

Mathematical Logic

The Search for Mathematical Roots, 1870-1940

Conceptual Mathematics

Proof Complexity

A TeXas Style Introduction to Proof

A Course in Model Theory

Proof Analysis

Sheaf Theory through Examples

A First Course in Mathematical Logic and Set Theory

Logic For Dummies

Intuitive Axiomatic Set Theory

The Joy of Abstraction

Secret History

The Development of Mathematical Logic

Simply Gödel

Logic for Computer Science

Introducing Infinity

Philosophy and Foundations of Mathematics

Frege, Dedekind, and Peano on the Foundations of Arithmetic

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Playing with Infinity

Elements of Automata Theory

The Story of Proof

Category Theory in Context

Foundations and Fundamental Concepts of Mathematics

Principles of Mathematics. Illustrated

Limits and Derivatives of Real Functions for Physicists

Set Theory

The Language of Mathematics

The Vienna Circle

Discrete Mathematics with Coding

Model Theory of Operator Algebras

Set Theory

Differential and Integral Calculus

Functional and Harmonic Analysis

Polynomial Functors

Uni-variate Polynomials in Analysis

Catalan's Constant to 1, 500, 000 Places

Polygraphs: From Rewriting to Higher Categories

General Topology

Polynomial Functors

The Theory of Countable Borel Equivalence Relations

Polygraphs: From Rewriting to Higher Categories

An Introduction to Classical and Modal Logics

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

The Price of Cake

Sheaf Theory through Examples

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..

Set Theory

General Topology