Original language | English |
---|---|
Pages (from-to) | 1605-1606 |
Journal | Journal of Symbolic Logic |
Volume | 63 |
Publication status | Published - 1998 |
Review of Basic Proof Theory (1st edition), by Anne Troelstra & Helmut Schwichtenberg, CUP 1996
Roy Dyckhoff
Research output: Contribution to journal › Article › peer-review