A Course In Mathematical Logic For Mathematicians by Yu I. Manin & Yu.I. Manin