THE RECOGNITION COMPLEXITY OF DECIDABLE THEORIES
-
Published:2022
Issue:1
Volume:13
Page:44-68
-
ISSN:2077-9879
-
Container-title:Eurasian Mathematical Journal
-
language:
-
Short-container-title:EMJ
Publisher
L. N. Gumilyov Eurasian National University
Subject
General Mathematics