Reddit mentions of Writing Proofs in Analysis

> 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.

Pick up mathematics. Now if you have never done math past the high school and are an "average person" you probably cringed.

Math (an "actual kind") is nothing like the kind of shit you've seen back in grade school. To break into this incredible world all you need is to know math at the level of, say, 6th grade.

Intro to Math:

1. Book of Proof by Richard Hammack. This free book will show/teach you how mathematicians think. There are other such books out there. For example,
   
   

• How to Prove It: A Structured Approach by Daniel Velleman
  
  
• Mathematical Proofs: A Transition to Advanced Mathematics by Gary Chartrand et al
  
  
• Discrete Mathematics with Applications by Susanna Epp
  
  These books only serve as samplers because they don't even begin to scratch the surface of math. After you familiarized yourself with the basics of writing proofs you can get started with intro to the largest subsets of math like:
  
  Intro to Abstract Algebra:
  
  
• Linear Algebra: Step by Step by Singh
  
  
• Abstract Algebra: A Student-Friendly Approach by the Dos Reis
  
  
• Numbers and Symmetry: An Introduction to Algebra by Johnston/Richman
  
  
• Discovering Group Theory: A Transition to Advanced Mathematics by Barnard/Neil
  
  
• A Friendly Introduction to Group Theory by Nash
  
  
• Linear Algebra Done Right by Sheldon Axler
  
  There are tons more books on abstract/modern algebra. Just search them on Amazon. Some of the famous, but less accessible ones are
  
  
• Algebra: Chapter 0 by Aluffi
  
  
• Algebra by Maclane/Birkhoff
  
  
• Algebra by Lang
  
  
• Advanced Linear Algebra by Steven Roman
  
  Intro to Real Analysis:
  
  
• The Real Analysis Lifesaver: All the Tools You Need to Understand Proofs by Grinberg
  
  
• Understanding Analysis by Abbot
  
  
• Writing Proofs in Analysis by Kane
  
  
• The Lebesgue Integral for Undergraduates by Johnston
  
  Again, there are tons of more famous and less accessible books on this subject. There are books by Rudin, Royden, Kolmogorov etc.
  
  Ideally, after this you would follow it up with a nice course on rigorous multivariable calculus. Easiest and most approachable and totally doable one at this point is
  
  
• Vector Calculus, Linear Algebra and Differential Forms: A Unified Approach by the Hubbards
  
  At this point it's clear there are tons of more famous and less accessible books on this subject :) I won't list them because if you are at this point of math development you can definitely find them yourself :)
  
  From here you can graduate to studying category theory, differential geometry, algebraic geometry, more advanced texts on combinatorics, graph theory, number theory, complex analysis, probability, topology, algorithms, functional analysis etc
  
  Most listed books and more can be found on libgen if you can't afford to buy them. If you are stuck on homework, you'll find help on [MathStackexchange] (https://math.stackexchange.com/questions).
  
  Good luck.

Even though most every proof technique (contradiction, induction, smallest counterexample etc) is shared by almost all branches of math, every branch of math has very specific goals or ways of going about proving statements. In your case you probably don't have time to learn how to prove statements in number theory, combinatorics or category theory or whatever so you must concentrate on analysis proofs. To that end, check out:

The Real Analysis Lifesaver: All the Tools You Need to Understand Proofs by R Grinberg

Writing Proofs in Analysis by J. M. Kane

I am not sure huge roadmaps are any useful. Especially if you're just starting out. That said, check out Writing Proofs in Analysis by Jonathan Kane.