Publication:4133627

From MaRDI portal


zbMath0358.02057MaRDI QIDQ4133627

Dimiter Skordev

Publication date: 1976



06F05: Ordered semigroups and monoids

03D75: Abstract and axiomatic computability and recursion theory