scientific article; zbMATH DE number 1438910
From MaRDI portal
Publication:4951231
zbMath0937.03055MaRDI QIDQ4951231
Publication date: 4 May 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Higher-type and set recursion theory (03D65) Abstract and axiomatic computability and recursion theory (03D75)
This page was built for publication: