[Lecture Notes in Mathematics] Logic Year 1979–80 Volume 859 || Constructive and recursive scattered order types
Lerman, Manuel, Schmerl, James H., Soare, Robert I.Volume:
10.1007/BF
Year:
1981
Language:
english
DOI:
10.1007/BFb0090955
File:
PDF, 962 KB
english, 1981