Logic in Mathematics

Harmonic Analysis and Convexity

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Model-Theoretic Logics

Logic from Russell to Church

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

A Practical Logic of Cognitive Systems

Mathematics and the Divine

The Rise of Modern Logic: from Leibniz to Frege

Greek, Indian and Arabic Logic

Quantum Theoretic Machines

The Ultrapower Axiom

Continua

Handbook of Fuzzy Computation

Proper and Improper Forcing

Ordinal Definability and Recursion Theory: Volume 3

Computational Logic

Three Views of Logic

Graph Structure and Monadic Second-Order Logic

Axiomatic Set Theory

Inductive Logic

Handbook of Logic and Language

Elements of Automata Theory

Handbook of Quantum Logic and Quantum Structures

The Birth of Model Theory

The Determinacy of Long Games

Mediaeval and Renaissance Logic

The Many Valued and Nonmonotonic Turn in Logic

Coherent Systems

Computational Complexity: A Quantitative Perspective

Infinite Words

Advances In Modal Logic, Volume 3

Handbook of Proof Theory

Handbook of Logic and Language

Logic, Methodology and Philosophy of Science VII

A Beginner's Guide to Mathematical Logic

Critical Views of Logic

Simply Turing

Stochastic Drawdowns

Recursion Theory

Algebraic Logic

The Vienna Circle

Numbers and Proofs

Extrapolation Methods

Sets for Mathematics

Theory of Relations

Mathematical Logic for Computer Science

An Introduction to Critical Thinking and Creativity

How to Read and Do Proofs

Naive Set Theory

Symbolic Logic and the Game of Logic

Introduction to Analysis

The Search for Mathematical Roots, 1870-1940

Secret History

An Introduction to Mathematical Proofs

An Invitation to Applied Category Theory

Making Up Your Own Mind

Exploring Mathematics

Set Theory

The Foundations of Mathematics

Computability and Unsolvability

Gödel's Proof

How to Solve It

Basic Category Theory

Introduction to Logic

Proof Complexity

A TeXas Style Introduction to Proof

Proof Analysis

Paradoxes and Inconsistent Mathematics

Logic

Sheaf Theory through Examples

A First Course in Mathematical Logic and Set Theory

The Joy of Abstraction

Logic For Dummies

Propositional Logics 3rd edition

Category Theory in Context

Basic Discrete Mathematics

Introduction to Logic

Mathematical Logic

The Foundations of Mathematics in the Theory of Sets

General Topology

The Vienna Circle

Discrete Mathematics with Coding

Model Theory of Operator Algebras

Harmonic Analysis and Convexity

Category Theory

Advances in Applied Mathematical Analysis and Applications

Theoretical Computer Science for the Working Category Theorist

Flatland

Alan Turing's Systems of Logic

The Learning and Teaching of Number

Mathematical Puzzles

Differential and Integral Calculus

Uni-variate Polynomials in Analysis

Principles of Mathematics. Illustrated

Limits and Derivatives of Real Functions for Physicists

Set Theory

New Directions in Relevant Logic

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

The Language of Mathematics

Development Theory