Books on Logic and the Foundations of Mathematics

Discover essential books on logic and the foundations of mathematics. Explore classic texts and modern works on set theory, proof, and mathematical philosophy.

Logic, sets, and recursion Cover
Book

Logic, sets, and recursion

 

No summary available.
First-order logic Cover
Book

First-order logic

 

No summary available.
Book Cover
Book

View Title

 

No summary available.
Axiomatic set theory Cover
Book

Axiomatic set theory

 

No summary available.
Theory of sets Cover
Book

Theory of sets

 

No summary available.
Metalogic Cover
Book

Metalogic

 

No summary available.
A new introduction to modal logic Cover
Book

A new introduction to modal logic

 

No summary available.
An Introduction to Non-Classical Logic Cover
Book

An Introduction to Non-Classical Logic

 

No summary available.
Logic Cover
Book

Logic

 

No summary available.
Introduction to mathematical philosophy Cover
Book

Introduction to mathematical philosophy

 

No summary available.
Principia mathematica, to *56 Cover
Book

Principia mathematica, to *56

 

No summary available.
The foundations of arithmetic Cover
Book

The foundations of arithmetic

 

No summary available.
A shorter model theory Cover
Book

A shorter model theory

 

No summary available.
Foundations of Analysis Cover
Book

Foundations of Analysis

 

No summary available.
Understanding the Infinite Cover
Book

Understanding the Infinite

 

No summary available.
Elementary logic Cover
Book

Elementary logic

 

No summary available.
Methods of logic Cover
Book

Methods of logic

 

No summary available.