On Analogues of Herbrand's and Harrop's Theorems for the Joint Logic of Problems and Propositions QHC.

Autor:	Onoprienko, A. A.1 (AUTHOR) ansidiana@yandex.ru
Zdroj:	Doklady Mathematics. Dec2023, Vol. 108 Issue 3, p528-532. 5p.
Databáze:	Academic Search Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.