Recursive functionals
From MaRDI portal
Publication:1202200
zbMath0806.03034MaRDI QIDQ1202200
Publication date: 23 January 1993
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Higher-type and set recursion theory (03D65)
This page was built for publication: Recursive functionals