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.
[ Parent
| on HN ]
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?