Logic Colloquim'82 - Proceedings of the Colloquim 1982 : Italy); Lolli, G.; Longo, G.; Marcja, A. (New York : Elsevier Science Pub., 1983)
Keywords: Nonstandard mathematical analysis; Mathematical analysis; Calculus