Issue |
Section |
Title |
File |
Vol 515, No 1 (2024) |
ERRATUM |
Correction to the article A. A. Onoprienko “On the analogues of Erbran and Harrop theorems for the joint logic of problems and QHC statements” |
|
Vol 514, No 1 (2023) |
MATHEMATICS |
ON ANALOGUES OF HERBRAND’S AND HARROP’S THEOREMS FOR THE JOINT LOGIC OF PROBLEMS AND PROPOSITIONS QHC |
|