Logic colloquium : - Parikh, Rohit, 1936- (Lecture notes in mathematics (Springer-Verlag), 1975)