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