Oulie
A Course in Mathematical Logic for Mathematicians by Yuri Manin — Oulie