On the decidability of objects in a locos

• 1 January 1989
• book chapter
• Published by American Mathematical Society (AMS) in Contemporary Mathematics
• Vol. 92, 23-46
• https://doi.org/10.1090/conm/092/1003193

Abstract