scientific article
From MaRDI portal
Publication:3775546
zbMath0636.03041MaRDI QIDQ3775546
Publication date: 1986
Full work available at URL: https://eudml.org/doc/187371
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (2)
Intrinsically recursively enumerable subalgebras of a recursive Boolean algebra ⋮ The lattice of recursively enumerable substructures of an effective closure system
This page was built for publication: