What's the sequel to this?

what a terrible fucking list.
Jesus Christ.
Is this actually suggesting people actually read Landau?

That Landau book is amazing.

Why would anyone read three proof books?
Here is what I have actually done and felt was useful

Calculus 1,2 -some Stewart book
Multivariable calculus - Marsden and tromba ("vector calcus". Not a great book but it's pretty rigorous and has nice problems)
Linear algebra - Linear algebra and its applications by Later

Proof book: how to prove it by velleman, this is literally all you need

Intro analysis: understanding analysis by Abbot
Better analysis: baby rudin (the way you read this book is to TRY prove all the theorems yourself before you read the actual proof)
Algebra: herstein or Artin

After that you know enough math to have your own opinion and make your own list.

I would probably just skip Abbott's book and go straight to Rudin. Keep it handy for intuition, but honestly trying to prove all the theorems in rudin is THE way to learn math. It's far more active, interesting, and fun.

Fuck, I mean linear algebra and its applications by LAY. Sorry was phone posting like a pleb

Does anybody have a pdf to Smith's Logic? Already looked up on bookzz, but all links are deleted.

>Does anybody have a pdf to Smith's Logic?
gen.lib.rus.ec/

Just to with C++ user.
There are a lot of decent infographics out there. However you could use thenewboston to learn the basics.
Personally I used Chilitomatonoodle tuts and did wonders (also they're game oriented so that's a plus for me)

I started reading Enderton book on logic, but when it started to deal with first order logic, I felt that I first should have studied set theory, so I started reading his book on set theory that is in that list.

So, my question is, how does enderton book on logic compares to Laws of Truth?

Should I really read Laws of Truth before enderton book on set theory?

Exclusively python programming? Is language agnostic acceptable?

I think you would benefit from functionalcs.github.io/curriculum/

This list is nice but in my opinion I would have changed the LISP-like options for more employable counterparts.