Kaczmarek, J. Three Aspects of Decidability. FPhil 1990, 65-73.