scientific article
From MaRDI portal
Publication:3312224
zbMath0531.03039MaRDI QIDQ3312224
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other constructive mathematics (03F65) Computability and recursion theory (03D99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
This page was built for publication: