Cambridge Tracts in Theoretical Computer Science

Cambridge Tracts in Theoretical Computer Science is a 4-book series with 4 primary works first released in 1987 with contributions by Gregory Chaitin, N. Shankar, Anne S. Troelstra, H. Schwichtenberg, Patrick Blackburn, Maarten de Rijke, and Yde Venema.