• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

An Arithmetical Interpretation of Verification and Intuitionistic Knowledge

P. 317-330.
Protopopescu T. I.

В книге

Под науч. редакцией: S. Artemov, A. Nerode. Vol. 9537: Logical Foundations of Computer Science. Springer, 2016.