Basic proof theory

Responsibility
A. S. Troelstra, H. Schwichtenberg.
Edition
2nd ed.
Imprint
Cambridge ; New York : Cambridge University Press, 2000.
Physical description
xii, 417 p. ; 23 cm.
Series
Cambridge tracts in theoretical computer science 43.

Browse related items

Start at call number:
Librarian view | Catkey: 4430230