Cambridge Summer School in Mathematical logic - Rogers, Hartley n. 1926- (Springer, 1964)