Vol. 453. Parikh, R. 
Logic colloquium : Symposium on Logic held at Boston, 1972-73 
QA9 L64 1975