publisher of A non-standard analysis approach to a constrained forced oscillator. Journal of Logic and Analysis. 9. 2017