The item you selected is unavailable, but we found something similar.

Picture 1 of 1

Stock photo

Introduction to Mathematical Logic (Paperback or Softback) - Picture 1 of 1

The Wadsworth and Brooks/Cole Mathematics Ser.: Introduction to Mathematical Logic by Elliot Mendelsohn (2012, Trade Paperback)

Be the first towrite a review.

Bargain Book Stores (1097281)
99.3% positive feedback

Price:

$64.91

Free shipping

Estimated delivery Thu, May 9 - Tue, May 14

Returns:

30 days returns. Seller pays for return shipping.

Condition:

Brand New

Format: Paperback or Softback. Your Privacy. ISBN: 9781461572909. Condition Guide. Publication Date: 4/13/2012. Item Availability.

About this product

Product Information

This is a compact mtroduction to some of the pnncipal tOpICS of mathematical logic . In the belief that beginners should be exposed to the most natural and easiest proofs, I have used free-swinging set-theoretic methods. The significance of a demand for constructive proofs can be evaluated only after a certain amount of experience with mathematical logic has been obtained. If we are to be expelled from "Cantor's paradise" (as nonconstructive set theory was called by Hilbert), at least we should know what we are missing. The major changes in this new edition are the following. (1) In Chapter 5, Effective Computability, Turing-computabIlity IS now the central notion, and diagrams (flow-charts) are used to construct Turing machines. There are also treatments of Markov algorithms, Herbrand-Godel-computability, register machines, and random access machines. Recursion theory is gone into a little more deeply, including the s-m-n theorem, the recursion theorem, and Rice's Theorem. (2) The proofs of the Incompleteness Theorems are now based upon the Diagonalization Lemma. Lob's Theorem and its connection with Godel's Second Theorem are also studied. (3) In Chapter 2, Quantification Theory, Henkin's proof of the completeness theorem has been postponed until the reader has gained more experience in proof techniques. The exposition of the proof itself has been improved by breaking it down into smaller pieces and using the notion of a scapegoat theory. There is also an entirely new section on semantic trees.

Product Identifiers

Publisher
Springer
ISBN-10
1461572908
ISBN-13
9781461572909
eBay Product ID (ePID)
237796514

Product Key Features

Author
Elliot Mendelsohn
Publication Name
Introduction to Mathematical Logic
Format
Trade Paperback
Language
English
Publication Year
2012
Series
The Wadsworth and Brooks/Cole Mathematics Ser.
Type
Textbook
Number of Pages
X, 342 Pages

Dimensions

Item Length
9.6in
Item Width
6.7in
Item Weight
21.7 Oz

Additional Product Features

Number of Volumes
1 Vol.
Lc Classification Number
H1-99
Table of Content
One The Propositional Calculus.- 1. Propositional Connectives. Truth Tables.- 2. Tautologies.- 3. Adequate Sets of Connectives.- 4. An Axiom System for the Propositional Calculus.- 5. Independence. Many-Valued Logics.- 6. Other Axiomatizations.- Two Quantification Theory.- 1. Quantifiers.- 2. Interpretations. Satisfiability and Truth. Models.- 3. First-Order Theories.- 4. Properties of First-Order Theories.- 5. Additional Metatheorems and Derived Rules.- 6. Rule C.- 7. Completeness Theorems.- 8. First-Order Theories with Equality.- 9. Definitions of New Function Letters and Individual Constants.- 10. Prenex Normal Forms.- 11. Isomorphism of Interpretations. Categoricity of Theories.- 12. Generalized First-Order Theories. Completeness and Decidability.- 13. Elementary Equivalence. Elementary Extensions.- 14. Ultrapowers. Nonstandard Analysis.- 15. Semantic Trees.- Three Formal Number Theory.- 1. Axiom System.- 2. Number-Theoretic Functions and Relations.- 3. Primitive Recursive and Recursive Functions.- 4. Arithmetization. Gödel Numbers.- 5. The Fixed Point Theorem. Gödel's Incompleteness Theorem.- 6. Recursive Undecidability. Church's Theorem.- Four Axiomatic Set Theory.- 1. An Axiom System.- 2. Ordinal Numbers.- 3. Equinumerosity. Finite And Denumerable Sets.- 4. Hartogs' Theorem. Initial Ordinals. Ordinal Arithmetic.- 5. The Axiom of Choice. The Axiom of Regularity.- 6. Other Axiomatizations of Set Theory.- Five Effective Computability.- 1. Algorithms. Turing Machines.- 2. Diagrams.- 3. Partial Recursive Functions. Unsolvable Problems.- 4. The Kleene-Mostowski Hierarchy. Recursively Enumerable Sets.- 5. Other Notions of Effective Computability.- 6. Decision Problems.- Answers to Selected Exercises.- Notation.
Copyright Date
1987
Dewey Decimal
511/.3
Intended Audience
Scholarly & Professional
Dewey Edition
19
Illustrated
Yes
Genre
Non-Classifiable

All listings for this product

item 1 Introduction to Mathematical Logic (Paperback or Softback)
$64.91
Free shipping
item 2 Introduction to Mathematical Logic, Paperback by Mendelsohn, Elliot, Like New...
$66.40
Free shipping
item 3 Introduction to Mathematical Logic, Paperback by Mendelsohn, Elliot, Brand Ne...
$66.41
Free shipping
item 4 Introduction to Mathematical Logic by Elliot Mendelsohn (English) Paperback Book
$66.42
Free shipping

Best Selling in Textbooks

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Textbooks

Desk Reference to the Diagnostic Criteria from DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)
5.0 out of 5 stars based on 7 product ratings
$7.50 New
---- Used
Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)
4.6 out of 5 stars based on 15 product ratings
$35.70 New
$34.00 Used
Teaching Good Learner Repertoires by Steve Ward (2013, Trade Paperback)
5.0 out of 5 stars based on 2 product ratings
$50.23 New
$18.95 Used
Leadership : Theory and Practice by Peter G. Northouse (2021, Trade Paperback, Revised edition)
5.0 out of 5 stars based on 1 product rating
$19.98 New
$10.00 Used
Self Heal by Design : The Role of Micro-organisms for Health by Barbara O'Neill (2018, Trade Paperback)
5.0 out of 5 stars based on 14 product ratings
$29.99 New
---- Used
Applications of Motivational Interviewing Ser.: Motivational Interviewing : Helping People Change and Grow by Stephen Rollnick and William R. Miller (2023, Hardcover)
4.0 out of 5 stars based on 1 product rating
$26.25 New
$17.89 Used
Research Design : Qualitative, Quantitative, and Mixed Methods Approaches by J. David Creswell and John W. Creswell (2022, Trade Paperback)
4.2 out of 5 stars based on 5 product ratings
$21.00 New
$18.00 Used

Save on Textbooks

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR Free Shipping
$37.99
Trending at $42.75
usa stock((paperback)) pmbok guide 7th edition Project Management Institute ...
$18.69
Trending at $18.89
National Electrical Code Handbook, 2023 Edition
$62.99
Trending at $67.45
Designing Data-Intensive Applications : The Big Ideas Behind Reliable, Scalable,
$12.49
Trending at $18.95
New 2022 NFPA 72 National Fire Alarm and Signaling Code USA STOCK Free Shipping
$52.24
Trending at $56.50
The Pocket Guide to the DSM-5-TR Diagnostic Exam by Abraham M..........
$12.95
Trending at $13.10

Shop by category

Picture 1 of 1

The Wadsworth and Brooks/Cole Mathematics Ser.: Introduction to Mathematical Logic by Elliot Mendelsohn (2012, Trade Paperback)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

All listings for this product

item 1 Introduction to Mathematical Logic (Paperback or Softback)

item 2 Introduction to Mathematical Logic, Paperback by Mendelsohn, Elliot, Like New...

item 3 Introduction to Mathematical Logic, Paperback by Mendelsohn, Elliot, Brand Ne...

item 4 Introduction to Mathematical Logic by Elliot Mendelsohn (English) Paperback Book

Best Selling in Textbooks

Desk Reference to the Diagnostic Criteria from DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)

Teaching Good Learner Repertoires by Steve Ward (2013, Trade Paperback)

Leadership : Theory and Practice by Peter G. Northouse (2021, Trade Paperback, Revised edition)

Self Heal by Design : The Role of Micro-organisms for Health by Barbara O'Neill (2018, Trade Paperback)

Applications of Motivational Interviewing Ser.: Motivational Interviewing : Helping People Change and Grow by Stephen Rollnick and William R. Miller (2023, Hardcover)

Research Design : Qualitative, Quantitative, and Mixed Methods Approaches by J. David Creswell and John W. Creswell (2022, Trade Paperback)

Save on Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR Free Shipping

usa stock((paperback)) pmbok guide 7th edition Project Management Institute ...

National Electrical Code Handbook, 2023 Edition

Designing Data-Intensive Applications : The Big Ideas Behind Reliable, Scalable,

New 2022 NFPA 72 National Fire Alarm and Signaling Code USA STOCK Free Shipping

The Pocket Guide to the DSM-5-TR Diagnostic Exam by Abraham M..........

You may also like

Mathematics Paperback Textbook

Mathematics Paperback Textbooks

Mathematics Paperback Textbooks in English

Mathematics Nonfiction Paperbacks Books in English

Mathematics Workbook Study Paperbacks Prep

Mathematics Textbooks