A Weak Constructive Second-Order Arithmetic with Extraction of Algorithms Computable in Polynomial Time A. P. Beltiukov OriginalPaper Pages: 4571 - 4573
Formal Axiomatic Theories Based on a Three-Valued Logic I. D. Zaslavsky OriginalPaper Pages: 4578 - 4597
Algebras of Recursively Enumerable Sets and Their Applications to Fuzzy Logic S. N. Manukian OriginalPaper Pages: 4598 - 4606
EMSO-Definability of Some Languages with Event Structures K. V. ShahbazyanYu. G. Shoukourian OriginalPaper Pages: 4624 - 4630
Diophantine Undecidability for Some Function Fields of Infinite Transcendence Degree and Positive Characteristic A. Shlapentokh OriginalPaper Pages: 4631 - 4642