Review of Basic Proof Theory (2nd edition), by Anne Troelstra & Helmut Schwichtenberg, CUP, 2000

Roy Dyckhoff

Research output: Other contribution

Original languageEnglish
Number of pages280
Volume7
Publication statusPublished - 2001

Cite this