1990 | ||
---|---|---|
2 | R. Gurevic: Equational Theory of Positive Numbers with Exponentiation is Not Finitely Axiomatizable. Ann. Pure Appl. Logic 49(1): 1-30 (1990) | |
1988 | ||
1 | R. Gurevic: On Ultracoproducts of Compact Hausdorff Spaces. J. Symb. Log. 53(1): 294-300 (1988) |