Skip to main content

A Mathematical Introduction to Logic

by Herbert B. Enderton

264 Members (3.83)

On This Page

Recommendations

Author Information

Common Knowledge

Classifications

Description

A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as show more computational complexity and database queries, with additional coverage of introductory material such as sets show less

Tags

Recommendations

Computability and Logic by George S. Boolos

Computability and Logic

George S. Boolos

Gödel’s Proof by Ernest Nagel

Gödel’s Proof

Elements of Set Theory by Herbert B. Enderton

Elements of Set Theory

Herbert B. Enderton

Naive Set Theory by Paul R. Halmos

Naive Set Theory

The Concept of Logical Consequence by John Etchemendy

The Concept of Logical Consequence

John Etchemendy

First-Order Logic by Raymond Smullyan

First-Order Logic

Raymond Smullyan

The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number by Gottlob Frege

The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number

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

Introduction to Logic and to the Methodology of Deductive Sciences

Topoi: The Categorial Analysis of Logic by Robert Goldblatt

Topoi: The Categorial Analysis of Logic

Robert Goldblatt

Set Theory: An Introduction to Independence Proofs by Kenneth Kunen

Set Theory: An Introduction to Independence Proofs

Introduction to Mathematical Logic by Elliott Mendelson

Introduction to Mathematical Logic

Elliott Mendelson

Tractatus Logico-Philosophicus by Ludwig Wittgenstein

Tractatus Logico-Philosophicus

Ludwig Wittgenstein

Gödel, Escher, Bach: An Eternal Golden Braid by Douglas Hofstadter

Gödel, Escher, Bach: An Eternal Golden Braid

Douglas Hofstadter

Mathematical Logic by Joseph R. Shoenfield

Mathematical Logic

Joseph R. Shoenfield

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

Philosophy of Mathematics: Selected Readings by Paul Benacerraf

Philosophy of Mathematics: Selected Readings

Paul Benacerraf

Frege and Gödel: Two Fundamental Texts in Mathematical Logic by Jean Van Heijenoort

Frege and Gödel: Two Fundamental Texts in Mathematical Logic

Jean Van Heijenoort

Principles of Mathematical Logic by David Hilbert

Principles of Mathematical Logic

Undecidable Theories by Alfred Tarski

Undecidable Theories

Foundations of Mathematical Logic by Haskell B. Curry

Foundations of Mathematical Logic

Haskell B. Curry

The Search for Certainty: A Philosophical Account of Foundations of Mathematics by Marcus Giaquinto

The Search for Certainty: A Philosophical Account of Foundations of Mathematics

Marcus Giaquinto

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

Mathematical Logic (Dover Books on Mathematics)

Stephen Cole Kleene

Realism in Mathematics (Clarendon Paperbacks) by Penelope Maddy

Realism in Mathematics (Clarendon Paperbacks)

Introduction to Logic by Irving M. Copi

Introduction to Logic

Model Theory by C.C. Chang

Mathematical Logic and the Foundations of Mathematics: An Introductory Survey by G. T. Kneebone

Mathematical Logic and the Foundations of Mathematics: An Introductory Survey

Mathematical Logic by W. V. Quine

Mathematical Logic

Introduction to Mathematical Logic by Alonzo Church

Introduction to Mathematical Logic

Introduction to Metamathematics by Stephen Cole Kleene

Introduction to Metamathematics

Stephen Cole Kleene

Set Theory and the Continuum Hypothesis by Paul J. Cohen

Set Theory and the Continuum Hypothesis

Logic and Structure by Dirk van Dalen

Logic and Structure

Theory of Recursive Functions and Effective Computability by Hartley Rogers

Theory of Recursive Functions and Effective Computability

What is Mathematical Logic? by Christopher J. Ash

What is Mathematical Logic?

Christopher J. Ash

Set Theory and Logic by Robert R. Stoll

Set Theory and Logic

Robert R. Stoll

The Foundations of Mathematics : A Study in the Philosophy of Science by Evert Willem Beth

The Foundations of Mathematics : A Study in the Philosophy of Science

Evert Willem Beth

Intuitionism: An introduction (Studies in logic and the foundations of mathematics) by A. Heyting

Intuitionism: An introduction (Studies in logic and the foundations of mathematics)

Set Theory and Its Logic by W. V. Quine

Set Theory and Its Logic

An Introduction to Gödel's Theorems by Peter Smith

An Introduction to Gödel's Theorems

The Oxford Handbook of Philosophy of Mathematics and Logic by Stewart Shapiro

The Oxford Handbook of Philosophy of Mathematics and Logic

Stewart Shapiro

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

Kurt Gödel Collected Works: Volume I: Publications 1929-1936 by Kurt Gödel

Kurt Gödel Collected Works: Volume I: Publications 1929-1936

Kurt Gödel Collected Works: Volume III: Unpublished Essays and Lectures by Kurt Gödel

Kurt Gödel Collected Works: Volume III: Unpublished Essays and Lectures

The Foundations of Mathematics and Other Logical Essays by Frank Plumpton Ramsey

The Foundations of Mathematics and Other Logical Essays

Frank Plumpton Ramsey

Topology by James R. Munkres

James R. Munkres

Remarks on the Foundations of Mathematics by Ludwig Wittgenstein

Remarks on the Foundations of Mathematics

Ludwig Wittgenstein

Logic Sets and Recursion (The Jones and Bartlett Series in Computer Science) by Robert L. Causey

Logic Sets and Recursion (The Jones and Bartlett Series in Computer Science)

Robert L. Causey

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

Set Theory, Logic and their Limitations by Moshe Machover

Set Theory, Logic and their Limitations

Abstract Algebra by David S. Dummit

Abstract Algebra

David S. Dummit

Complete Recommendations

Member Reviews

Featured Recent Thumbs

All Ratings
3
5
½3
4
No Rating

Members

Recently Added By: bdkl, RAER, Dk117, CrepuscularRays, devogon, SRB5729, secondskin

Lists

Most Popular Books Targeted at Mathematicians

26 works; 1 member

Author Information

Picture of author.

Herbert B. Enderton

3 Works 361 Members

Common Knowledge

Canonical title: A Mathematical Introduction to Logic
Original publication date: 1972

Statistics

Members: 264
Popularity: 122,879
Rating: (3.83)

Languages: English, Spanish
Media: Paper, Ebook
ISBNs: 10
ASINs: 3

Quick Facts

Published: 1972
Genres: Philosophy, Nonfiction, Science & Nature, General Nonfiction
DDC/MDS: 511.3
LCC: QA9 .E54

Author

Picture of author.

Herbert B. Enderton

3 Works 361 Members

Popular Covers

Find It

Links

No links

Popularity

41%
37%
100%
17%
76%
17%
13%
51%
21%
30%
23%
40%
2%
18%

2012
2026

Ratings

Stars: (3.84)

Click to expand

Click to reduce

Helpers

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson