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

Статья

Proof Internalization for Generalized Frege Systems for Classical Logic

Annals of Pure and Applied Logic. 2014. Vol. 165. P. 340-365.
Yury Savateev.