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?