The Decision Problem for Standard Classes

Yuri Gurevich. The Decision Problem for Standard Classes. Journal of Symbolic Logic, 41(2):460-464, 1976.

Abstract

Abstract is missing.