Impossibility of an algorithm for the decision problem in finite classes

Abstract
No abstract available