4 ms·
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 e
by manu_ss 7y ago
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.
- leto_ii 7y agoI 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?