Logic in Mathematics

Harmonic Analysis and Convexity

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

The Rise of Modern Logic: from Leibniz to Frege

Greek, Indian and Arabic Logic

Quantum Theoretic Machines

Mathematics and the Divine

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

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

The Art and Craft of Problem Solving

Simply Turing

Stochastic Drawdowns

A Beginner's Guide to Mathematical Logic

Numbers and Proofs

Recursion Theory

Algebraic Logic

Extrapolation Methods

Sets for Mathematics

Theory of Relations

Mathematical Logic for Computer Science

Naive Set Theory

Secret History

An Introduction to Mathematical Proofs

An Invitation to Applied Category Theory

Set Theory

The Foundations of Mathematics

Symbolic Logic and the Game of Logic

Computability and Unsolvability

Introduction to Analysis

An Introduction to Critical Thinking and Creativity

The Search for Mathematical Roots, 1870-1940

Gödel's Proof

How to Solve It

How to Read and Do Proofs

Making Up Your Own Mind

Exploring Mathematics

Basic Category Theory

Introduction to Logic

Proof Complexity

A TeXas Style Introduction to Proof

Proof Analysis

Paradoxes and Inconsistent Mathematics

Sheaf Theory through Examples

Logic

A First Course in Mathematical Logic and Set Theory

Logic For Dummies

Mathematical Logic

Principles of Mathematics. Illustrated

General Topology

Intuitive Axiomatic Set Theory

The Vienna Circle

Discrete Mathematics with Coding

Model Theory of Operator Algebras

Harmonic Analysis and Convexity

Category Theory

The Joy of Abstraction

Advances in Applied Mathematical Analysis and Applications

The Learning and Teaching of Number

Proofs 101

Classical and Nonclassical Logics

Architecture of Mathematics

An Introduction to Formal Logic: Second Edition

Lógica Formal

El razonamiento lógico en el lenguaje simbólico y en el lenguaje natural

The Development of Mathematical Logic

Logic in Practice

Differential and Integral Calculus

Functional and Harmonic Analysis

Polynomial Functors

Uni-variate Polynomials in Analysis

Limits and Derivatives of Real Functions for Physicists

Set Theory

New Directions in Relevant Logic

Catalan's Constant to 1, 500, 000 Places

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