scientific article; zbMATH DE number 3446865
From MaRDI portal
Publication:4770945
zbMath0285.02030MaRDI QIDQ4770945
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of computability and recursion theory (03D80) Proof theory and constructive mathematics (03F99)
This page was built for publication:
