Dick de Jongh’s Festschriftсборник

Статьи, опубликованные в сборнике

---

• • 2004 From de Jongh’s theorem to intuitionistic logic of proofs
  • Artemov Sergei, Iemhoff Rosalie
  • в сборнике Dick de Jongh’s Festschrift, место издания University of Amsterdam, с. 1-10