4 books in series
Cambridge Tracts in Theoretical Computer Science
Cambridge Tracts in Theoretical Computer Science is a 4-book series with 4 released 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.
4 Cambridge Tracts in Theoretical Computer Science
1996 • 343 pages
4 Cambridge Tracts in Theoretical Computer Science
1994 • 1 Reader • 224 pages
4 Cambridge Tracts in Theoretical Computer Science
1987 • 1 Reader • 175 pages
4 Cambridge Tracts in Theoretical Computer Science
Modal Logic
ByPatrick Blackburn,Maarten de Rijke,+1 more
2001 • 1 Reader • 574 pages • 4