Publication:3755489
From MaRDI portal
zbMath0619.06006MaRDI QIDQ3755489
Publication date: 1985
06D10: Complete distributivity
03D20: Recursive functions and relations, subrecursive hierarchies
03E20: Other classical set theory (including functions, relations, and set algebra)
Related Items