4 books in series

Cambridge Tracts in Theoretical Computer Science

Cambridge Tracts in Theoretical Computer Science is a 4-book series first released in 1987 with contributions by Gregory Chaitin, Anne S. Troelstra, and 5 others.

Algorithmic Information Theory
Algorithmic Information Theory

1987 • 1 Reader • 175 pages

Basic Proof Theory
Basic Proof Theory

1996 • 1 Reader • 343 pages

Modal Logic
Modal Logic

2001 • 1 Reader • 574 pages 4