scientific article
From MaRDI portal
Publication:3780504
zbMath0639.68117MaRDI QIDQ3780504
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Data structures (68P05) Information storage and retrieval of data (68P20) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (3)
First-order spectra with one variable ⋮ The functional dimension of inductive definitions ⋮ A logic of recursion
This page was built for publication:
