A notion of effectiveness in arbitrary structures (1968)

by W M Lambert
Venue:The Journal of Symbolic Logic