Publication:4880141
From MaRDI portal
zbMath0846.68063MaRDI QIDQ4880141
Publication date: 13 January 1998
Related Items
Constructive sets in computable sets, Semantics of constructions. I: The traditional approach, Structures definable in polymorphism