A Course in Mathematical Logic by Iu I. Manin