Reddit reviews What is Mathematical Logic? (Dover Books on Mathematics)
We found 3 Reddit comments about What is Mathematical Logic? (Dover Books on Mathematics). Here are the top ones, ranked by their Reddit score.
We found 3 Reddit comments about What is Mathematical Logic? (Dover Books on Mathematics). Here are the top ones, ranked by their Reddit score.
What is Mathematical Logic? by Crossley will give you the foundations to understand the theorem in full.
> Never read it, will google them after this reply.
It's so fucking cool it's unreal. Not up to date with recent developments but wanna check it out again properly soon.
>Mendelson can be useful but, heck, you need some strong background. There's a lot of books mistitled as "introductions", mendelson is one of them.
That'd explain why it was so dense lol - I dived from no mathematical logic (apart from like basic predicate calculus) and using first order symbols sparingly.
>There's actually no perfect book to serve as introduction to mathematical logic, but I highly recommendthat you check out https://www.amazon.com/Mathematical-Logic-Oxford-Texts/dp/0199215626
>
>Also get this little fella here: https://www.amazon.com/Mathematical-Logic-Dover-Books-Mathematics/dp/0486264041 for a nice, short survey.
Thanks :D I'll check it out. Given your breadth of knowledge on it I imagine your background is pure mathematics?
Never read it, will google them after this reply.
Mendelson can be useful but, heck, you need some strong background. There's a lot of books mistitled as "introductions", mendelson is one of them.
There's actually no perfect book to serve as introduction to mathematical logic, but I highly recommend that you check out https://www.amazon.com/Mathematical-Logic-Oxford-Texts/dp/0199215626
The price is outrageous, so get a pdf here if available.
Also get this little fella here: https://www.amazon.com/Mathematical-Logic-Dover-Books-Mathematics/dp/0486264041 for a nice, short survey.