Hey, 4chan. I am looking someone to dive into mathematical logic with me. I graduated mathematics few years ago but I kind of lost touch with it (was working on a different proffession). I would like to get into it again. I was looking for some text book recomendation and I came to:

1. Introduction to Mathematical Logic - Elliott Mendelson
2. Mathematical logic - Joseph R. Shoenfield

If anyone has different suggestion, please, contribute.

Thanks, hope I'll find someone interested in this :)