scientific article; zbMATH DE number 1390026
From MaRDI portal
Publication:4934291
zbMath0978.03035MaRDI QIDQ4934291
Publication date: 31 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Higher-type and set recursion theory (03D65)
Related Items (3)
Complexity-theoretic hierarchies induced by fragments of Gödel's \(T\) ⋮ Finite notations for infinite terms ⋮ \({\mathcal M}^\omega\) considered as a programming language
This page was built for publication:
