Reports on Mathematical Logic

No. 28 (1994)


Stanley BURRIS and Isabel M.A. FERREIRIM

DECIDABLE VARIETIES OF HOOPS

A b s t r a c t. A description of all varieties of hoops which have a decidable first order theory is given.


Back to Main Menu