scientific article
From MaRDI portal
Publication:3921208
zbMath0468.03025MaRDI QIDQ3921208
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
functional representationnon-monotone inductive definitionsmonotone quantifiersrecursion in functionalscompanion theoryrecursion in quantifiers
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Higher-type and set recursion theory (03D65) Inductive definability (03D70)
This page was built for publication: