DECIDABILITY PROBLEMS OF EXTENDED THEORIES

• 30 April 1978
• journal article
• Published by Steklov Mathematical Institute in Russian Mathematical Surveys
• Vol. 33  (2) , 53-96
• https://doi.org/10.1070/rm1978v033n02abeh002304

Abstract