?
Kripke semanics for provability logic GLP
Annals of Pure and Applied Logic. 2010. Vol. 161. No. 6. P. 756-774.
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!