松坂先生の「集合位相入門」をいちおう読み終えた程度のB3ですが、
数理論理学を独学してみようかと思ってるんです。お勧めの本を教えてください。