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.

Series Position
Details
Rating
Readers Count
Match %
Controls
Basic Proof Theory
Basic Proof Theory
  • Anne S. Troelstra
  • H. Schwichtenberg
01 read
Algorithmic Information Theory
Algorithmic Information Theory
  • Gregory Chaitin
01 read
Metamathematics, Machines and Gödel's Proof
Metamathematics, Machines and Gödel's Proof
  • N. Shankar
00 reads
Modal Logic
Modal Logic
  • Patrick Blackburn
  • Maarten de Rijke
  • Yde Venema
41 read