scientific article; zbMATH DE number 3404221
From MaRDI portal
Publication:5670613
zbMath0256.02015MaRDI QIDQ5670613
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computability and recursion theory (03Dxx)
Related Items (7)
Diagonalization in double frames ⋮ m-degrees of the word problem ⋮ On decidability of the decomposability problem for finite theories ⋮ Separable algorithmic representations of classical systems and their applications ⋮ The index set of Boolean algebras autostable relative to strong constructivizations ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for publication:
