A Course in Mathematical Logic door Iu I. Manin