Expansions of real closed fields with the Banach fixed point property

From MaRDI portal
Publication:6589160