A Course in Mathematical Logic for Mathematicians, by Y. Manin https://math.uchicago.edu/~shmuel/lg-readings/Manin,%20Logic%20for%20Mathematicians.pdf https://m

A Course in Mathematical Logic for Mathematicians, by Y. Manin https://math.uchicago.edu/~shmuel/lg-readings/Manin,%20Logic%20for%20Mathematicians.pdf https://math.uchicago.edu/~shmuel/lg-readings/Manin,%20Logic...