• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Book chapter

An Arithmetical Interpretation of Verification and Intuitionistic Knowledge

P. 317-330.
Protopopescu T. I.

In book

Edited by: S. Artemov, A. Nerode. Vol. 9537: Logical Foundations of Computer Science. Springer, 2016.