Review of Basic Proof Theory (1st edition), by Anne Troelstra & Helmut Schwichtenberg, CUP 1996

Roy Dyckhoff

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)1605-1606
JournalJournal of Symbolic Logic
Volume63
Publication statusPublished - 1998

Cite this