Logic colloquium - Parikh, Rahit Jivanlal 1936- (Springer, 1964)