Decidability and structure
Tom 46 / 1999
Banach Center Publications 46 (1999), 125-135
DOI: 10.4064/-46-1-125-135
