On local and non-local properties (1982)

by H GAIFMAN
Venue:in "Proceedings of the Herbrand Symposium, Logic Colloquium’81