Prikladnoj nestandartnyj analiz - Davis, Martin (Mir, 1980)