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
PopularFirst

1987 • 1 Reader • 175 pages

Basic Proof Theory

1996 • 1 Reader • 343 pages

Metamathematics, Machines and Gödel's Proof

1994 • 1 Reader • 224 pages

Modal Logic

2001 • 1 Reader • 574 pages • 4