Yuri Manin

A Course in Mathematical Logic for Mathematicians