Orderings in Exponential Fields of Term Defined Functions

From MaRDI portal
Publication:3816062