ON ANALOGUES OF HERBRAND’S AND HARROP’S THEOREMS FOR THE JOINT LOGIC OF PROBLEMS AND PROPOSITIONS QHC
- Authors: Onoprienko A.A.1
-
Affiliations:
- HSE University
- Issue: Vol 514, No 1 (2023)
- Pages: 123-128
- Section: MATHEMATICS
- URL: https://ruspoj.com/2686-9543/article/view/647966
- DOI: https://doi.org/10.31857/S2686954323602324
- EDN: https://elibrary.ru/WMAEPN
- ID: 647966
Cite item