scientific article
From MaRDI portal
Publication:3898036
zbMath0451.68040MaRDI QIDQ3898036
Publication date: 1980
Full work available at URL: https://eudml.org/doc/28275
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computability and recursion theory (03D99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Proof theory and constructive mathematics (03F99)
Cites Work
This page was built for publication: