Computable classes of constructivizations for models of finite constructivizability type
From MaRDI portal
Publication:1335930
DOI10.1007/BF00971397zbMath0860.03032OpenAlexW1997352289MaRDI QIDQ1335930
Publication date: 8 November 1994
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00971397
Related Items (1)
Cites Work
This page was built for publication: Computable classes of constructivizations for models of finite constructivizability type