Iterated discriminator varieties have undecidable theories
Stanley BurrisVolume:
21
Year:
1985
Language:
english
Pages:
8
Journal:
Algebra Universalis
DOI:
10.1007/bf01187556
File:
PDF, 287 KB
english, 1985