Keisler, H. Jerome Quantifiers in limits. (English) Zbl 1144.03042 Ehrenfeucht, A. (ed.) et al., Andrzej Mostowski and foundational studies. Amsterdam: IOS Press (ISBN 978-1-58603-782-6/hbk). 151-170 (2008). MSC: 03H05 26E35 03C64 PDFBibTeX XMLCite \textit{H. J. Keisler}, in: Andrzej Mostowski and foundational studies. Amsterdam: IOS Press. 151--170 (2008; Zbl 1144.03042)
O’Donovan, Richard; Kimber, John Nonstandard analysis at pre-university level: naive magnitude analysis. (English) Zbl 1104.03062 Cutland, Nigel J. (ed.) et al., Nonstandard methods and applications in mathematics. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-291-4/hbk; 1-56881-292-2/pbk). Lecture Notes in Logic 25, 235-248 (2006). Reviewer: German Pestov (Tomsk) MSC: 03H05 03-01 26E35 26-01 PDFBibTeX XMLCite \textit{R. O'Donovan} and \textit{J. Kimber}, Lect. Notes Log. 25, 235--248 (2006; Zbl 1104.03062)
Benci, Vieri; Forti, Marco; Di Nasso, Mauro The eightfold path to nonstandard analysis. (English) Zbl 1104.03061 Cutland, Nigel J. (ed.) et al., Nonstandard methods and applications in mathematics. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-291-4/hbk; 1-56881-292-2/pbk). Lecture Notes in Logic 25, 3-44 (2006). Reviewer: German Pestov (Tomsk) MSC: 03H05 26E35 03E65 54J05 PDFBibTeX XMLCite \textit{V. Benci} et al., Lect. Notes Log. 25, 3--44 (2006; Zbl 1104.03061)
Diener, Marc Application of Harthong-Reeb calculus to graphical routines. (Application du calcul de Harthong-Reeb aux routines graphiques.) (French) Zbl 0778.03023 Le labyrinthe du continu, Colloq., Cerisy-la-Salle/Fr. 1990, 424-435 (1992). MSC: 03H05 65L99 PDFBibTeX XMLCite \textit{M. Diener}, in: Le labyrinthe du continu. Colloque de Cerisy-la-Salle, France, 11-20 Sept., 1990. Paris: Springer-Verlag. 424--435 (1992; Zbl 0778.03023)
El Naschie, M. S. Physics-like mathematics in four dimensions. Implications for classical and quantum mechanics. (English) Zbl 0771.58042 Computational and applied mathematics, II: Differential equations, Sel. Rev. Pap. IMACS 13th World Congr., Dublin/Irel. 1991, 15-23 (1992). Reviewer: C.Dariescu (Iaşi) MSC: 37N99 28A78 76F20 26E35 60D05 58D30 81P15 PDFBibTeX XMLCite \textit{M. S. El Naschie}, in: Computational and applied mathematics, II: Differential equations. Selected and revised papers from the IMACS 13th world congress, Dublin, Ireland, July 1991. Amsterdam: North-Holland. 15--23 (1992; Zbl 0771.58042)
Berline, Chantal Les fondements logiques de l’analyse non standard suivant Robinson et Nelson. (The foundations of nonstandard analysis following Robinson and Nelson). (French) Zbl 0636.03064 Sémin. gén. de logique 1983/1984, Publ. Math. Univ. Paris VII 27, 115-133 (1984). Reviewer: Ch.Berline MSC: 03H05 26E35 54J05 PDFBibTeX XML
Loeb, Peter A. A functional approach to nonstandard measure theory. (English) Zbl 0533.28008 Contemp. Math. 26, 251-261 (1984). MSC: 28C05 26E35 PDFBibTeX XMLCite \textit{P. A. Loeb}, Contemp. Math. 26, 251--261 (1984; Zbl 0533.28008) Full Text: DOI
Fenstad, Jens Erik On the metaphysics of the real line. (English) Zbl 0432.03041 Essays in honour of J. Hintikka, Synth. Libr., Vol. 124, 91-99 (1979). MSC: 03H05 03A05 35B25 03-02 PDFBibTeX XML