Oulie
A course in mathematical logic for mathematicians by Neal Koblitz, I︠U︡. I. Manin, Boris Zilber, Manin Yu. I. — Oulie