Publication:4138720

From MaRDI portal


zbMath0364.02025MaRDI QIDQ4138720

Dimiter Skordev

Publication date: 1977



06F05: Ordered semigroups and monoids

03D99: Computability and recursion theory

03D60: Computability and recursion theory on ordinals, admissible sets, etc.