| Original language | English |
|---|---|
| Title of host publication | Dick de Jongh's Festschrift |
| Place of Publication | Amsterdam |
| Publisher | University of Amsterdam |
| Publication status | Published - 2003 |
From de Jongh's theorem to intuitionistic logic of proofs
R. Iemhoff, S. Artemov
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic