TY - BOOK AU - Девис,М. AU - Сопрунов,С.Ф. AU - Успенский,В.А. TI - Прикладной нестандартный анализ PY - 1980/// CY - Москва PB - Мир KW - Прикладной нестандартный анализ N1 - Оригинал на англ.; Martin Davis -; New York : 1977 ER -