Nonstandard models in Propositional Dynamic Logic
NONSTANDARD FINITE DIFFERENCE METHODS AND BIOLOGICAL MODELS
Nonstandard models for arithmetic and analysis
Nonstandard log-linear models.
Nonstandard log-lineare Modelle
Nonstandard Finite Difference Models
Alpha-Theory and Nonstandard Analysis
Lectures on Nonstandard Models of Arithmetic