Set Theory and Logic by Robert R. Stoll

Description

"The best introductory text we have seen." -- Cosmos. Lucidly and gradually explains sets and relations, the natural number sequence and its generalization, extension of natural numbers to real numbers, logic, informal axiomatic mathematics, Boolean algebras, informal axiomatic set theory, several algebraic theories, and 1st-order theories. Its clarity makes this book excellent for self-study.

Recommendations

Axiomatic Set Theory by Patrick Suppes

Axiomatic Set Theory

Patrick Suppes

Introduction to Mathematical Logic by Elliott Mendelson

Introduction to Mathematical Logic

Elliott Mendelson

Set Theory and Its Logic by W. V. Quine

Set Theory and Its Logic

W. V. Quine

Set Theory and Its Philosophy: A Critical Introduction by Michael Potter

Set Theory and Its Philosophy: A Critical Introduction

Michael Potter

The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise by Mary Tiles

The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise

Mary Tiles

Foundations of Mathematical Logic by Haskell B. Curry

Foundations of Mathematical Logic

Haskell B. Curry

Set Theory, Logic and their Limitations by Moshe Machover

Set Theory, Logic and their Limitations

Moshe Machover

Set Theory by Thomas Jech

Set Theory

Thomas Jech

Naive Set Theory by Paul R. Halmos

Naive Set Theory

Paul R. Halmos

Mathematical Logic (Dover Books on Mathematics) by Stephen Cole Kleene

Mathematical Logic (Dover Books on Mathematics)

Stephen Cole Kleene

Popular Lectures on Mathematical Logic

Hao Wang

Introduction to Logic and to the Methodology of Deductive Sciences by Alfred Tarski

Introduction to Logic and to the Methodology of Deductive Sciences

Alfred Tarski

A Mathematical Introduction to Logic by Herbert B. Enderton

A Mathematical Introduction to Logic

Herbert B. Enderton

Principles of Mathematical Logic by David Hilbert

Principles of Mathematical Logic

David Hilbert

Contributions to the Founding of the Theory of Transfinite Numbers by Georg Cantor

Contributions to the Founding of the Theory of Transfinite Numbers

Georg Cantor

What is Mathematical Logic? by Christopher J. Ash

What is Mathematical Logic?

Christopher J. Ash

First-Order Logic by Raymond Smullyan

First-Order Logic

Raymond Smullyan

Topoi: The Categorial Analysis of Logic by Robert Goldblatt

Topoi: The Categorial Analysis of Logic

Robert Goldblatt

Basic Set Theory by Azriel Levy

Basic Set Theory

Azriel Levy

From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 by Jean van Heijenoort

From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931

Jean van Heijenoort

On Formally Undecidable Propositions of Principia Mathematica and Related Systems by Kurt Gödel

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Kurt Gödel

Theory of Recursive Functions and Effective Computability by Hartley Rogers

Theory of Recursive Functions and Effective Computability

Hartley Rogers

The Axiom of Choice (Dover Books on Mathematics) by Thomas J. Jech

The Axiom of Choice (Dover Books on Mathematics)

Thomas J. Jech

Georg Cantor by Joseph Dauben

Georg Cantor

Joseph Dauben

Theory and Problems of Set Theory and Related Topics by Seymour Lipschutz

Theory and Problems of Set Theory and Related Topics

Seymour Lipschutz

Boolean Algebra and Its Applications by J. Eldon Whitesitt

Boolean Algebra and Its Applications

J. Eldon Whitesitt

Set Theory by Felix Hausdorff

Set Theory

Felix Hausdorff

Set Theory and the Continuum Hypothesis by Paul J. Cohen

Set Theory and the Continuum Hypothesis

Paul J. Cohen

Mathematical Logic by Joseph R. Shoenfield

Mathematical Logic

Joseph R. Shoenfield

First Order Mathematical Logic by Angelo Margaris

First Order Mathematical Logic

Angelo Margaris

Concepts of Modern Mathematics by Ian Stewart

Concepts of Modern Mathematics

Ian Stewart

Axiomatic Set Theory by Paul Bernays

Axiomatic Set Theory

Paul Bernays

Set Theory and the Continuum Problem by Raymond Smullyan

Set Theory and the Continuum Problem

Raymond Smullyan

Elements of Abstract Algebra by Allan Clark

Elements of Abstract Algebra

Allan Clark

Sets, Functions, and Logic: An Introduction to Abstract Mathematics by Keith Devlin

Sets, Functions, and Logic: An Introduction to Abstract Mathematics

Keith Devlin

Principia Mathematica (3-volume set) by Alfred North Whitehead

Principia Mathematica (3-volume set)

Alfred North Whitehead

Computability and Unsolvability by Martin Davis

Computability and Unsolvability

Martin Davis

Metalogic: An Introduction to the Metatheory of Standard First Order Logic by Geoffrey Hunter

Metalogic: An Introduction to the Metatheory of Standard First Order Logic

Geoffrey Hunter

How to Read and Do Proofs: An Introduction to Mathematical Thought Processes by Daniel Solow

How to Read and Do Proofs: An Introduction to Mathematical Thought Processes

Daniel Solow

Roads to Infinity: The Mathematics of Truth and Proof by John Stillwell

Roads to Infinity: The Mathematics of Truth and Proof

John Stillwell

Introduction to Topology by Bert Mendelson

Introduction to Topology

Bert Mendelson

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse by Torkel Franzén

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse

Torkel Franzén

Computability and Logic by George S. Boolos

Computability and Logic

George S. Boolos

A Book of Abstract Algebra by Charles C. Pinter

A Book of Abstract Algebra

Charles C. Pinter

Introduction to Mathematical Logic by Alonzo Church

Introduction to Mathematical Logic

Alonzo Church

Lectures on Boolean Algebras by Paul R. Halmos

Lectures on Boolean Algebras

Paul R. Halmos

Mathematical Logic by W. V. Quine

Mathematical Logic

W. V. Quine

The Joy of Sets: Fundamentals of Contemporary Set Theory by Keith Devlin

The Joy of Sets: Fundamentals of Contemporary Set Theory

Keith Devlin

Principia Mathematica to *56 by Alfred North Whitehead

Principia Mathematica to *56

Alfred North Whitehead

Abstract Algebra by W. E. Deskins

Abstract Algebra

W. E. Deskins

Complete Recommendations

Member Reviews

Featured Recent Thumbs

All Ratings
1
4
4
1
No Rating

1 review

szarka 284 reviews

A concise treatment of the subject, but with enough explanation to be suitable for self-study. My main complaint: no solutions or hints for the exercises. The older (?) style notation also tripped me up in places.

Oct 31, 2006