![](/img/cover-not-exists.png)
Group Autr〈Q, ⩽〉 is not constructivizable
A. S. MorozovVolume:
36
Language:
english
Pages:
4
Journal:
Mathematical Notes
DOI:
10.1007/bf01156460
Date:
October, 1984
File:
PDF, 293 KB
english, 1984