Presentations of the successor relation of computable linear ordering
Gespeichert in:
Verfasser / Beitragende:
[A. Frolov]
Ort, Verlag, Jahr:
2010
Enthalten in:
Russian Mathematics, 54/7(2010-07-01), 64-74
Format:
Artikel (online)
Online Zugang: