Reddit reviews Analysis: With an Introduction to Proof (4th Edition)

> Mathematical Logic

It's not exactly Math Logic, just a bunch of techniques mathematicians use. Math Logic is an actual area of study. Similarly, actual Set Theory and Proof Theory are different from the small set of techniques that most mathematicians use.

Also, looks like you have chosen mostly old, but very popular books. While studying out of these books, keep looking for other books. Just because the book was once popular at a school, doesn't mean it is appropriate for your situation. Every year there are new (and quite frankly) pedagogically better books published. Look through them.

Here's how you find newer books. Go to Amazon. In the search field, choose "Books" and enter whatever term that interests you. Say, "mathematical proofs". Amazon will come up with a bunch of books. First, sort by relevance. That will give you an idea of what's currently popular. Check every single one of them. You'll find hidden jewels no one talks about. Then sort by publication date. That way you'll find newer books - some that haven't even been published yet. If you change the search term even slightly Amazon will come up with completely different batch of books. Also, search for books on Springer, Cambridge Press, MIT Press, MAA and the like. They usually house really cool new titles. Here are a couple of upcoming titles that might be of interest to you: An Illustrative Introduction to Modern Analysis by Katzourakis/Varvarouka, Understanding Topology by Shaun Ault. I bet these books will be far more pedagogically sound as compared to the dry-ass, boring compendium of facts like the books by Rudin.

If you want to learn how to do routine proofs, there are about one million titles out there. Also, note books titled Discrete Math are the best for learning how to do proofs. You get to learn techniques that are not covered in, say, How to Prove It by Velleman. My favorites are the books by Susanna Epp, Edward Scheinerman and Ralph Grimaldi. Also, note a lot of intro to proofs books cover much more than the bare minimum of How to Prove It by Velleman. For example, Math Proofs by Chartrand et al has sections about doing Analysis, Group Theory, Topology, Number Theory proofs. A lot of proof books do not cover proofs from Analysis, so lately a glut of new books that cover that area hit the market. For example, Intro to Proof Through Real Analysis by Madden/Aubrey, Analysis Lifesaver by Grinberg(Some of the reviewers are complaining that this book doesn't have enough material which is ridiculous because this book tackles some ugly topological stuff like compactness in the most general way head-on as opposed to most into Real Analysis books that simply shy away from it), Writing Proofs in Analysis by Kane, How to Think About Analysis by Alcock etc.

Here is a list of extremely gentle titles: Discovering Group Theory by Barnard/Neil, A Friendly Introduction to Group Theory by Nash, Abstract Algebra: A Student-Friendly Approach by the Dos Reis, Elementary Number Theory by Koshy, Undergraduate Topology: A Working Textbook by McClusckey/McMaster, Linear Algebra: Step by Step by Singh (This one is every bit as good as Axler, just a bit less pretentious, contains more examples and much more accessible), Analysis: With an Introduction to Proof by Lay, Vector Calculus, Linear Algebra, and Differential Forms by Hubbard & Hubbard, etc

This only scratches the surface of what's out there. For example, there are books dedicated to doing proofs in Computer Science(for example, Fundamental Proof Methods in Computer Science by Arkoudas/Musser, Practical Analysis of Algorithms by Vrajitorou/Knight, Probability and Computing by Mizenmacher/Upfal), Category Theory etc. The point is to keep looking. There's always something better just around the corner. You don't have to confine yourself to books someone(some people) declared the "it" book at some point in time.

Last, but not least, if you are poor, peruse Libgen.

You should really start with a good introductory analysis text before trying to tackle topology. It's more familiar territory and less generalized. I think I know a book that will have exactly what you are looking for. I'd recommend picking up Analysis: With an Introduction to Proof by Steven Lay.

It assumes no previous experience with writing proofs, so the first few chapters introduce some basic logic and set theory. Then, you will rigorously define the notion of a function before going through a very nice topology primer. It's not the ultimate analysis reference book by any means, but it's a great starter for beginners and self-study.

Learn math first. Physics is essentially applied math with experiments. Start with Calculus then Linear Algebra then Real Analysis then Complex Analysis then Ordinary Differential Equations then Partial Differential Equations then Functional Analysis. Also, if you want to pursue high energy physics and/or cosmology, Differential Geometry is also essential. Make sure you do (almost) all the exercises in every chapter. Don't just skim and memorize.

This is a lot of math to learn, but if you are determined enough you can probably master Calculus to Real Analysis, and that will give you a big head start and a deeper understanding of university-level physics.

I know this isn't exactly what you're requesting (I assume you're requesting resources on the web for your consumption) but allow me to suggest the following book


A large part of truly understanding mathematics is built upon the foundation of understanding and being able to correctly write proofs. The book above will introduce you to proofwriting and do so while teaching you why certain things you learned in college-level calculus I and II are correct; this may prove more rewarding of an experience than simply crunching answers based on theorems that the book tells you are true.

I know a few people who highly recommend How to Prove It by Velleman. I've never read it so I can't say for sure. The first book I used to learn mathematical logic was Lay's Analysis with an Intro to Proof. I can't recommend that book enough. The first quarter of the book or so is a pretty gentle introduction to mathematical logic, sets, functions, and proof techniques. I imagine it will get you where you need to be pretty quickly.