Proceedings of the 3rd Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1990)сборник

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

---

• 
  • 1990 Kolmogorov's logic of problems and a provability interpretation of intuitionistic logic
  • Artemov S.N.
  • в сборнике Proceedings of the 3rd Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1990), серия Theoretical Aspects of Rationality and Knowledge, TARK, место издания Morgan Kaufmann Publishers San Francisco, CA, USA, с. 257-272