Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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?



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.


Thanks!




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: