RUS
ENG
Full version
PEOPLE
Zaurbekov Sapargali Sabralievich
Publications in Math-Net.Ru
A bounded analogue of Rice's theorem at the third level for semantic classes of propositions
Algebra Logika
,
32
:2 (1993),
131–138
The number of finitely axiomatizable completions
Sibirsk. Mat. Zh.
,
32
:1 (1991),
174–178
©
Steklov Math. Inst. of RAS
, 2024