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

Глава

Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics

P. 15-29.

В книге

L.: College Publications, 2016.