Original language | English |
---|---|
Number of pages | 280 |
Volume | 7 |
Publication status | Published - 2001 |
Review of Basic Proof Theory (2nd edition), by Anne Troelstra & Helmut Schwichtenberg, CUP, 2000
Roy Dyckhoff
Research output: Other contribution
Roy Dyckhoff
Research output: Other contribution
Original language | English |
---|---|
Number of pages | 280 |
Volume | 7 |
Publication status | Published - 2001 |