Разрешимость теории T_f=\Th(\omega, 0, 1, <, +, f(x), F(x)), что теория T_
f=\Th(\omega, 0, 1,<,$ $+,
f(x),
F(x)) является разрешимой, демонстрируя, что каждая
An easy construction of furo[2,3-f]isoindole core by the IMDAV reactionAn easy construction of furo[2,3-
f]isoindole core by the IMDAV reaction
Synthesis of 4-arylfuro[2,3-f]isoindol-5-ones by the IMDAV reactionSynthesis of 4-arylfuro[2,3-
f]isoindol-5-ones by the IMDAV reaction