1. Kusraev, A.G., Kutateladze, S.S.: Subdifferential Calculus: Theory and Applications. Nauka, Moscow (2007)
2. Kanovei, V., Reeken, M.: Nonstandard Analysis: Axiomatically. Springer, Berlin (2004)
3. Gordon, E.I., Kusraev, A.G., Kutateladze S.S.: Infinitesimal Analysis: Selected Topics. Nauka, Moscow (2011)
4. Takeuti, G.: Two Applications of Logic to Mathematics. Iwanami Publishers and Princeton University Press, Tokyo and Princeton (1978)
5. Scott, D.: Boolean models and nonstandard analysis. In: Applications of Model Theory to Algebra, Analysis, and Probability, pp. 87–92. Holt, Rinehart, and Winston, New York (1969)