News for hackers. Stuff that matters.
Re:Mathematics for the Adventurous Self-Learner by manu_ss on Monday February 24, 2020 @09:16AM (#22404097)
Seems to have some intro to logic and math language, if you have never read an math books as the ones referred in this post, that book should be a nice way to ease into it.
Re:Mathematics for the Adventurous Self-Learner by leto_ii on Monday February 24, 2020 @09:46AM (#22404346)
I see, thanks. I do have some experience with proofs and maths in general, but I never went through a text dedicated explicitly to developing proving techniques.

I might give it a go anyway, but do you know of a more advanced version of this book as well?

Re:Mathematics for the Adventurous Self-Learner by manu_ss on Monday February 24, 2020 @12:09PM (#22405921)
Not really. I'm a math major, what you usually do is have an intro to logic course and then just jump into those books.
Re:Mathematics for the Adventurous Self-Learner by leto_ii on Monday February 24, 2020 @12:12PM (#22405955)
Thanks!