theory of ordered fields (Q114420395)
Language:
other details