Publication:4934291
From MaRDI portal
zbMath0978.03035MaRDI QIDQ4934291
Publication date: 31 January 2002
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03D65: Higher-type and set recursion theory
Related Items
Complexity-theoretic hierarchies induced by fragments of Gödel's \(T\), Finite notations for infinite terms, \({\mathcal M}^\omega\) considered as a programming language