Roman Kossak On Some Uses of Nonstandard Models. 165-172 2007 81 Fundam. Inform. 1-3 http://iospress.metapress.com/content/8211555kk25280r7/ db/journals/fuin/fuin81.html#Kossak07