Publication:4147977
From MaRDI portal
zbMath0369.02042MaRDI QIDQ4147977
Publication date: 1977
06B05: Structure theory of lattices
03E30: Axiomatics of classical set theory and its fragments
03D30: Other degrees and reducibilities in computability and recursion theory
03D99: Computability and recursion theory
Related Items