Confrence in mathematical logic-london'70. - Hodges Wilfrid Ed. (New York Springer-Verlag, 1972)