A coding of the countable linear orderings
From MaRDI portal
Publication:803179
DOI10.1007/BF00370167zbMath0727.06002MaRDI QIDQ803179
Publication date: 1990
Published in: Studia Logica (Search for Journal in Brave)
Cites Work