Logic colloquium - Parikh, Rohit (Lecture Notes in Mathematics, 453, 1975)