Decidable Theories - heftet, Engelsk, 1970