Reddit mentions of What is Mathematical Logic? (Dover Books on Mathematics)

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.