Article,

Linear Order Types of Nonrecursive Presentability.

.
Math. Log. Q., 31 (31-34): 495-501 (1985)

Meta data

Tags

Users

  • @dblp

Comments and Reviews