The number of countable models of a theory of one unary function Leo Marcus — 1980 Fundamenta Mathematicae