Constructive Noonsmooth Analysis and Related Topics (V. Demyanov, P.M. Pardalos, M. Batsyn).- Use Model Theory in Nonsmooth Analysis...