Effective choice for relations and reducibilities in classes of constructive and positive models

From MaRDI portal
(Redirected from Publication:1317601)