Vous voulez voir cette page en français ? Cliquez ici.

Have one to sell? Sell yours here
A Friendly Introduction to Mathematical Logic
 
See larger image 
Share your own customer images
Publisher: learn how customers can search inside this book.

A Friendly Introduction to Mathematical Logic [Hardcover]

Christopher C. Leary (Author)

Available from these sellers.


Product Details

Product Description

Product Description

This user-friendly introduction to the key concepts of mathematical logic focuses on concepts that are used by mathematicians in every branch of the subject. Using an assessible, conversational style, it approaches the subject mathematically (with precise statements of theorems and correct proofs), exposing readers to the strength and power of mathematics, as well as its limitations, as they work through challenging and technical results. KEY TOPICS: Structures and Languages. Deductions. Comnpleteness and Compactness. Incompleteness--Groundwork. The Incompleteness Theorems. Set Theory. : For readers in mathematics or related fields who want to learn about the key concepts and main results of mathematical logic that are central to the understanding of mathematics as a whole.

From the Back Cover

This user-friendly introduction to the key concepts of mathematical logic focuses on concepts that are used by mathematicians in every branch of the subject. Using an assessible, conversational style, it approaches the subject mathematically (with precise statements of theorems and correct proofs), exposing readers to the strength and power of mathematics, as well as its limitations, as they work through challenging and technical results. : Structures and Languages. Deductions. Comnpleteness and Compactness. Incompleteness--Groundwork. The Incompleteness Theorems. Set Theory. : For readers in mathematics or related fields who want to learn about the key concepts and main results of mathematical logic that are central to the understanding of mathematics as a whole.

Tag this product

 (What's this?)
Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items.
Your tags: Add your first tag
 
See most popular tags

Customer Reviews

There are no customer reviews yet on Amazon.ca
5 star:    (0)
4 star:    (0)
3 star:    (0)
2 star:    (0)
1 star:    (0)
 
 
 
Share your experience with this product with others
Create your own review
Most Helpful Customer Reviews on Amazon.com (beta)
Amazon.com: 4.5 out of 5 stars (2 customer reviews)

5 of 5 people found the following review helpful
4.0 out of 5 stars Why is this out of print?, Nov 11 2009
By † - Published on Amazon.com
This review is from: A Friendly Introduction to Mathematical Logic (Hardcover)
The impossible goal of this text is to start from scratch and then cover both incompleteness theorems in a single semester, and under his presentation it would almost be manageable. This is by far the best written text on predicate calculus I have read. Kaye and Goldrei can't really compare, as they contain less material and what they do cover isn't done quite as well. Enderton on the other hand covers more than Leary, but is much more dense and would not serve as well as an introduction.
The main drawback of the book is how much effort the author put into making it fit into a single semester. There is a lot of fascinating material that could have been covered in greater depth than is done. It is worth noting that he almost completely skips over propositional calculus, so if you find yourself struggling at the beginning of the book you may want to read up on that subject in another text (the first half of Goldrei would do nicely). Also the section on the second incompleteness theorem is extremely rushed; some of the properties of peano arithmetic used for the proof are not proven.
Still, it's better than the other options I've seen. You would think with all the mediocre mathematics texts Dover picks up they would have found this gem.

Beyond knowing the rudiments of naïve set theory, prerequisites should not be much of a concern.

8 of 10 people found the following review helpful
5.0 out of 5 stars Most Accessible Undergraduate Text Covering Incompleteness, Aug 23 2006
By Robert W. Mcgrail "AOrNotA" - Published on Amazon.com
This review is from: A Friendly Introduction to Mathematical Logic (Hardcover)
I have used this text in both graduate and undergraduate courses as well as tutorials and independent studies. It is the best text for a one semester course that introduces formal logic and has as its goal the Incompleteness Theorems of Godel. Students have reported it to be very readable and the array of exercises is excellent. Moreover, the author is a really nice fellow.
› Go to Amazon.com to see both reviews  4.5 out of 5 stars 

Listmania!

Create a Listmania! list

Look for similar items by category

Look for similar items by subject






















i.e., each book must be in subject 1 AND subject 2 AND ...

Feedback

Would you like to update product info or give feedback on images?