| |
| | [No title] |
 | | Laugwitz, D. : Omega-calculus as a generalisation of field extension - an alternative approach to nonstandard analysis, in: A.E. Hurd (ed.) Non-standard Analysis - Recent Developments, Lecture Notes in Mathematics, Vol. |
 | | Liu, S.-C.: A proof-theoretic approach to nonstandard analysis with emphasis on distinguishing between constructive and non-constructive results, in: H.J. Keisler and K. Kunen (eds.), The Kleene Symposium, North-Holland, Amsterdam 1980, 391 - 414. |
 | | Palmgren, E.: A sheaf-theoretic foundation for nonstandard analysis, Uppsala University, Department of Mathematics Report 1995:43 (to appear in Ann. |
| www.math.uu.se /~palmgren/biblio/nonstd.html (247 words) |
|