1 book in series

Cambridge Tracts in Theoretical Computer Science

Cambridge Tracts in Theoretical Computer Science is a 1-book series first released in 1996 with contributions by Anne S. Troelstra and H. Schwichtenberg.

Basic Proof Theory

1996 • 1 Reader • 343 pages