Mathematical Logic

Bestselling in Mathematical Logic

Skip carousel

carousel previous carousel next

Reverse Mathematics: Proofs from the Inside Out
Author John Stillwell
What Is Mathematical Logic?
Author J. N. Crossley
Logic: The Laws of Truth
Author Nicholas J.J. Smith
Computability and Unsolvability
Author Martin Davis
Three Views of Logic: Mathematics, Philosophy, and Computer Science
Author Donald W. Loveland
Wittgenstein's Lectures on the Foundations of Mathematics, Cambridge, 1939
Author Ludwig Wittgenstein
Introduction to Logic: and to the Methodology of Deductive Sciences
Author Alfred Tarski
Elements of Mathematics: From Euclid to Gödel
Author John Stillwell
Boolean Algebra and Its Applications
Author J. Eldon Whitesitt
Combinatorial Optimization: Algorithms and Complexity
Author Christos H. Papadimitriou
Introduction to Symbolic Logic and Its Applications
Author Rudolf Carnap
A Beginner's Guide to Mathematical Logic
Author Raymond M. Smullyan
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
Author Martin D. Davis
The Golden Ticket: P, NP, and the Search for the Impossible
Author Lance Fortnow
Handbook of Mathematical Formulas
Author Hans-Jochen Bartsch
A Short Course in Discrete Mathematics
Author Edward A. Bender
Introduction to Abstract Mathematics
Author T. A. Bick
First Course in Mathematical Logic
Author Patrick Suppes
Elementary Induction on Abstract Structures
Author Yiannis N. Moschovakis
Logic: The Theory of Formal Inference
Author Alice Ambrose
A Book of Set Theory
Author Charles C Pinter
Classical Mathematical Logic: The Semantic Foundations of Logic
Author Richard L Epstein
The Birth of Model Theory: Löwenheim's Theorem in the Frame of the Theory of Relatives
Author Calixto Badesa
A First Course in Topology: An Introduction to Mathematical Thinking
Author Robert A. Conover
First Course in Algebra and Number Theory
Author Edwin Weiss
Stories About Sets
Author N. Ya. Vilenkin
Symbolic Logic and Mechanical Theorem Proving
Author Chin-Liang Chang
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition
Author Jean H. Gallier
Combinatorial Algorithms: Enlarged Second Edition
Author T. C. Hu
Introduction to Modern Mathematics
Author Helena Rasiowa

View All In Mathematical Logic

Mathematical Logic

Bestselling in Mathematical Logic

Reverse Mathematics: Proofs from the Inside Out

What Is Mathematical Logic?

Logic: The Laws of Truth

Computability and Unsolvability

Three Views of Logic: Mathematics, Philosophy, and Computer Science

Wittgenstein's Lectures on the Foundations of Mathematics, Cambridge, 1939

Introduction to Logic: and to the Methodology of Deductive Sciences

Elements of Mathematics: From Euclid to Gödel

Boolean Algebra and Its Applications

Combinatorial Optimization: Algorithms and Complexity

Introduction to Symbolic Logic and Its Applications

A Beginner's Guide to Mathematical Logic

Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science

The Golden Ticket: P, NP, and the Search for the Impossible

Handbook of Mathematical Formulas

A Short Course in Discrete Mathematics

Introduction to Abstract Mathematics

First Course in Mathematical Logic

Elementary Induction on Abstract Structures

Logic: The Theory of Formal Inference

A Book of Set Theory

Classical Mathematical Logic: The Semantic Foundations of Logic

The Birth of Model Theory: Löwenheim's Theorem in the Frame of the Theory of Relatives

A First Course in Topology: An Introduction to Mathematical Thinking

First Course in Algebra and Number Theory

Stories About Sets

Symbolic Logic and Mechanical Theorem Proving

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition

Combinatorial Algorithms: Enlarged Second Edition

Introduction to Modern Mathematics